22.126я73 Н 19 Назаров Д. М. Интеллектуальные системы. Основы теории нечетких множеств: учебное пособие для вузов / Назаров Дмитрий Михайлович, Конышева Людмила Константиновна. - 3-е изд., испр. и доп. - Москва: Юрайт, 2020. - 186 с.: ил. - (Высшее образование). - ISBN 9785534074963. [подробнее]
22.1 К 778 Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / Кранц Стивен; перевод с английского Н. А. Шиховой. - Москва: Лаборатория знаний, 2018. - 320 с.: ил. - Список лит.: с. 296. - Предм. указ.: с. 304. - ISBN 978-5-00101-064-7. [подробнее]
22.12я73 Ш 24 Шапорев С. Д. Математическая логика: курс лекций и практических занятий: учебное пособие для вузов / Шапорев Сергей Дмитриевич. - Санкт-Петербург: БХВ-Петербург, 2019. - 416 с.: ил. - (Учебное пособие). - Список лит.: с. 405. - Предм. указ.: с. 406. - ISBN 978-5-9775-3806-0. [подробнее]
Иванов И. П. Сборник задач по курсу «Алгоритмы и структуры данных»: методические указания / Иванов Игорь Потапович, Голубков А. Ю., Скоробогатов С. Ю. - Москва: МГТУ им. Н. Э. Баумана, 2013. - 32 с. - ISBN 978-5-7038-3681-1. [подробнее]
22.12я73 Г 554 Глухов М. М. Математическая логика. Дискретные функции. Теория алгоритмов: учебное пособие для студентов вузов / Глухов Михаил Михайлович, Шишков Алексей Борисович. - Санкт-Петербург: Лань, 2012. - 416 с. - (Учебники для вузов. Специальная литература). - Лит.: с. 398. - ISBN 978-5-8114-1344-7. [подробнее]
Судоплатов С. В. Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата / Судоплатов Сергей Владимирович, Овчинникова Елена Викторовна. - 5-е изд., стер. - Москва: Юрайт, 2019. - 255 с. - (Бакалавр. Академический курс). - ISBN 978-5-534-00767-1. [подробнее]
22.127я73 И 268 Игошин В. И. Сборник задач по математической логике и теории алгоритмов: учебное пособие для вузов / Игошин Владимир Иванович. - Москва: ИНФРА-М: КУРС, 2017. - 392 с. - (Бакалавриат). - ISBN 978-5-906818-08-9. [подробнее]
Скорубский В. И. Математическая логика: учебник и практикум для академического бакалавриата / Скорубский Владимир Иванович, Поляков Владимир Иванович, Зыков Анатолий Геннадьевич. - Москва: Юрайт, 2020. - 211 с. - (Бакалавр. Академический курс). - ISBN 978-5-534-01114-2. [подробнее]
Гашков С. Б. Дискретная математика: учебник и практикум для вузов / Гашков Сергей Борисович, Фролов Александр Борисович. - 3-е изд., испр. и доп. - Москва: Юрайт, 2020. - 483 с.: ил. - (Высшее образование). - Лит.: с. 446. - ISBN 978-5-534-11613-7. [подробнее]
Математическая логика и теория алгоритмов: учебное пособие / Северо-Кавказский федеральный университет; составители А. Н. Макоха, А. В. Шапошников, В. В. Бережной. - Ставрополь: СКФУ, 2017. - 418 с. [подробнее]
Блог Мишки Б.
