![]() | 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 | - | |