|
Имя |
Размер |
Дата публикации |
| назад | | |
|
mendelson1.djvu
|
2.8 МБ | 22 Мар 2026 |
|
Булевы функции.docx
|
317.4 КБ | 22 Мар 2026 |
|
Задача о поросятах.doc
|
24.5 КБ | 22 Мар 2026 |
|
Задача про забастовку(метод резолюций).doc
|
158.0 КБ | 22 Мар 2026 |
|
Задачи по математической логике(новые).doc
|
35.0 КБ | 22 Мар 2026 |
|
ИУ3
|
4.0 КБ | 22 Мар 2026 |
|
Исчисление предикатов первого порядка.doc
|
629.0 КБ | 22 Мар 2026 |
|
Метод резолюций в исчислении предикатов.docx
|
121.7 КБ | 22 Мар 2026 |
|
О некоторых методических вопросах преподавания математической логики.docx
|
530.5 КБ | 22 Мар 2026 |
|
Подготовка к РК2.docx
|
37.9 КБ | 22 Мар 2026 |
|
Предваренная нормальная форма.docx
|
134.4 КБ | 22 Мар 2026 |
|
Семинар по ИВ.docx
|
255.5 КБ | 22 Мар 2026 |
|
Семинары по булевым функциям.docx
|
68.5 КБ | 22 Мар 2026 |
|
Типы задач по исчислению предикатов 1.docx
|
35.7 КБ | 22 Мар 2026 |
|
Элементы математической логики.doc
|
892.0 КБ | 22 Мар 2026 |