![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| 1_Непротиворечивость ИВ_17 марта/ | 2022-10-17 12:52 | - | |
| 2_Логика предикатов (ЛП)_24 марта/ | 2022-10-17 12:52 | - | |
| 3_ЛП_продолжение_7 апр/ | 2022-10-17 12:52 | - | |
| 4_ЛП_продолжение_14 апр/ | 2022-10-17 12:52 | - | |
| 5_ЛП_полностью_21 апр/ | 2022-10-17 12:52 | - | |
| 6_Исчисление предикатов (ИП)_28 апр/ | 2022-10-17 12:52 | - | |
| 7_ИП_продолжение_12 мая/ | 2022-10-17 12:52 | - | |
| 8_Теория алгоритмов (ТА)_введение_19 мая/ | 2022-10-17 12:52 | - | |
| 9_Нечеткая логика_26 мая/ | 2022-10-17 12:52 | - | |
| 10_Логическое программирование_02 июня/ | 2022-10-17 12:52 | - | |
| 11_Основные алгоритмические модели_Рекурсивные функции_01 сент/ | 2022-10-17 12:52 | - | |
| 12_Машина Тьюринга (МТ)_15 сент/ | 2022-10-17 12:52 | - | |
| 13_МТ_продолжение_29 сен/ | 2022-10-17 12:52 | - | |
| 14_Нормальные алгоритмы Маркова (НАМ)_13 окт/ | 2022-10-17 12:52 | - | |
| 15_Примеры МТ и НАМ_27 окт_/ | 2022-10-17 12:52 | - | |
| 16_17_Алгоритмические проблемы/ | 2022-10-17 12:52 | - | |