загрузка...

Конспект лекций «Метематическая логика». 2017

<< |
Теория алгоритмов
2. Булевы функции.
3 Логические Исчисления.
4 Предикаты и кванторы.

Книги и учебники по дисциплине Математическая логика:

  1. Лекции по математической логике - 2017 год