Embedded Files
Мат. логика
Методички и литература для чтения:
Методички и литература для чтения:
Пальчунов Д.Е. Математическая логика и теория алгоритмов часть 2.pdfЭта методичка - отредактированная версия методички Пальчунова, поэтому лучше использовать её(по состоянию на 2020й год). Так же в неё постоянно вносятся исправления опечаток:
Большим М.А. Методичка по матлогу, 2019.pdfЯхъявева Г.Э. Расписанные лекции по матлогу.pdfЕршов Ю.Л. и Палютин Е.А. Мат.логика,1987.pdfЗадачник по матлогике.pdfРазбор Клиниевских скобок от безымянного героя:
Обзор клиниевских скобок.pdfСеминары Погодина Р.С. по математической логике
(они клёвые и очень подробные, не переключайтесь)
Так же для работяг, что желают сами поисправлять студенческую методичку по матлогу, прошу сюда:
https://github.com/comiam/Matlog-book
Page updated
Google Sites
Report abuse