22.18 К 17 Калбертсон Дж. Т. Математика и логика цифровых устройств / Калбертсон Дж. Т.; перевод с английского Г. А. Шестопал; под редакцией И. М. Яглома. - Москва: Просвещение, 1965. - 268 с.: ил. [подробнее]
87.4 Л 694 Логический подход к искусственному интеллекту: от модальной логики к логике баз данных / Тейз А., Грибомон П., Юлен Г. и др.; перевод с французского Г. П. Гаврилова и др. под редакцией Г. П. Гаврилова. - Москва: Мир, 1998. - 494 с. [подробнее]
87.458.33я43 испр. М 744 Модальные и интенсиональные логики и их применение к проблемам методологии науки :[Текст] : [сборник] / АН СССР. Институт философии; редколлегия: В. А. Смирнов, А. С. Карпенко, Е. А. Сидоренко. - Москва: Наука, 1984. - 368 с. - Лит. [подробнее]
87.45я43 испр. Ф 563 Философские основания научной теории :[Текст] : [сборник] / ответственные редакторы В. В. Целищев, В. Н. Карпович; рецензенты В. П. Фофанов, В. М. Фигуровская. - Новосибирск: Наука. Сибирское отделение, 1985. - 289 с. [подробнее]
87.458.3я44 испр. В 191 Васильев Н. А. Воображаемая логика :[Текст] : избранные труды / Васильев Н. А.; АН СССР. Институт философии; ответственный редактор В. А. Смирнов; рецензенты Л. Б. Баженов, И. С. Нарский, В. А. Бочаров. - Москва: Наука, 1989. - 264 с. - Библиогр.: с. 260. - ISBN 5-02-007946-4. [подробнее]
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. [подробнее]
Блог Мишки Б.
