Конспекты лекций по математической логике. 2017

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

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

  1. Викентьева О. Л.. Математическая логика и теория алгоритмов. Конспект лекций для студентов специальностей АСУ, ЭВТ, КЗИ. Пермь, 2007г. - 2007 год