Математическая логика и теория алгоритмов учебно-методическое пособие
В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подгото...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Книга |
| Γλώσσα: | Russian |
| Έκδοση: |
Москва
МТУСИ
2024
|
| Διαθέσιμο Online: | https://e.lanbook.com/book/439082 https://e.lanbook.com/img/cover/book/439082.jpg |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|