Математическая логика [Текст] : учебное пособие / А.В. Самохин, Ю.И. Дементьев. – М. : ИД Академии Жуковского, 2018. – 80 с

Самохин А.В; Дементьев Ю.А.

Главная
→
Специальности
→
Вычислительные машины, комплексы, системы и сети (230101)
→
Математическая логика
→
Просмотр элемента

dc.contributor.author	Самохин А.В
dc.contributor.author	Дементьев Ю.А.
dc.date.accessioned	2020-09-08T08:33:38Z
dc.date.available	2020-09-08T08:33:38Z
dc.date.issued	2020-09-08
dc.identifier.isbn	978-5-907081-53-6
dc.identifier.uri	http://storage.mstuca.ru:8080/xmlui/handle/123456789/8676
dc.description	Данное учебное пособие издаётся в соответствии с рабочей программой учебной дисциплины «Математическая логика» для студентов I курса направления 09.03.01 «Информатика и вычислительная техника» очной формы обучения. Учебное пособие охватывает разделы математики, изучаемые студентами по дисциплине «Математическая логика»: множества, мощности множеств, эквивалентности и порядок, исчисление высказываний, предикатов, аксиомы и правила вывода, вычислимость, разрешимость, перечислимость, машины Тьюринга и арифметичность.	ru_RU
dc.subject	Математическая логика	ru_RU
dc.title	Математическая логика [Текст] : учебное пособие / А.В. Самохин, Ю.И. Дементьев. – М. : ИД Академии Жуковского, 2018. – 80 с	ru_RU
dc.type	Book chapter	ru_RU