Математическая логика и теория алгоритмов учебно-методическое пособие
В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подгото...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Книга |
| Kieli: | Russian |
| Julkaistu: |
Москва
МТУСИ
2024
|
| Linkit: | https://e.lanbook.com/book/439082 https://e.lanbook.com/img/cover/book/439082.jpg |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|