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 | - | ||