Математическая логика и теория алгоритмов учебно-методическое пособие
В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подгото...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Книга |
| Լեզու: | Russian |
| Հրապարակվել է: |
Москва
МТУСИ
2024
|
| Առցանց հասանելիություն: | https://e.lanbook.com/book/439082 https://e.lanbook.com/img/cover/book/439082.jpg |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
