DSpace Собрание: http://storage.mstuca.ru:8080/xmlui/handle/123456789/8172 2026-05-09T02:33:18Z 2026-05-09T02:33:18Z Математическая логика [Текст] : учебное пособие / А.В. Самохин, Ю.И. Дементьев. – М. : ИД Академии Жуковского, 2018. – 80 с Самохин А.В Дементьев Ю.А. http://storage.mstuca.ru:8080/xmlui/handle/123456789/8676 2020-09-08T08:33:39Z 2020-09-08T00:00:00Z Название: Математическая логика [Текст] : учебное пособие / А.В. Самохин, Ю.И. Дементьев. – М. : ИД Академии Жуковского, 2018. – 80 с Авторы: Самохин А.В; Дементьев Ю.А. Описание: Данное учебное пособие издаётся в соответствии с рабочей программой учебной дисциплины «Математическая логика» для студентов I курса направления 09.03.01 «Информатика и вычислительная техника» очной формы обучения. Учебное пособие охватывает разделы математики, изучаемые студентами по дисциплине «Математическая логика»: множества, мощности множеств, эквивалентности и порядок, исчисление высказываний, предикатов, аксиомы и правила вывода, вычислимость, разрешимость, перечислимость, машины Тьюринга и арифметичность. 2020-09-08T00:00:00Z Математическая логика. Пособие по выполнению лабораторных работ. - М.: МГТУ ГА, 2016 Самохин А.В. Дементьев Ю.И. http://storage.mstuca.ru:8080/xmlui/handle/123456789/8173 2017-05-30T06:39:52Z 2017-05-30T00:00:00Z Название: Математическая логика. Пособие по выполнению лабораторных работ. - М.: МГТУ ГА, 2016 Авторы: Самохин А.В.; Дементьев Ю.И. Описание: Данное пособие издаётся в соответствии с рабочей программой учебной дисциплины «Математическая логика» по учебному плану для студентов I курса направления 09.03.01 очной формы обучения. 2017-05-30T00:00:00Z