№ | Дата |
Автор |
Заглавие |
---|
|
2012 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика — индикатор интеллекта : азбука математической логики / Владимир Лобанов |
|
2017 |
Walicki, Michał (математика) |
Introduction to mathematical logic : extended edition / Michal Walicki |
|
1991 |
Гольдберг, Евгений Исаакович (кандидат технических наук) |
Методы булевого кодирования значений аргумента предиката |
|
2001 |
Мощенский, Андрей Владимирович (кандидат физико-математических наук ; род. 1963) |
Курс математической логики : Учеб.пособие для студентов физ.-мат.специальностей вузов / Пер.с бел.авт |
|
2010 |
Чудинов, Кирилл Михайлович |
Математическая логика и теория алгоритмов : логика предикатов : учебное пособие / К. М.Чудинов ; Министерство образования и науки Российской Федерации, Государственное образовательное учреждение высшего профессионального образования "Пермский государственный технический университет" |
|
2015 |
Зиновьев, Александр Александрович (доктор философских наук ; писатель ; 1922—2006) |
Комплексная логика / А. А. Зиновьев ; вступительная статья В. А. Лекторского |
|
2020 |
Фролов, Владимир Александрович |
Цифровая схемотехника : учебник для использования в учебном процессе образовательных организаций и учреждений, реализующих программы по специальности 27.02.03 "Автоматика и телемеханика на транспорте (железнодорожном транспорте)" : в 4 ч. / В. А. Фролов. — Ч. 3: Арифметическо-логические основы цифровой схемотехники |
|
1989 |
Шубин, Игорь Юрьевич (кандидат технических наук) |
Методы минимизации формул алгебры конечных предикатов и их применение в автоматизированных информационных системах : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.25.05 Автоматизированные информационные системы / Шубин Игорь Юрьевич ; Харьковский институт радиоэлектроники им. М. К. Янгеля |
|
2017 |
Коновалов, Александр Юрьевич |
Конструктивные семантики логических языков, основанные на обобщенной вычислимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич ; ФГБОУ ВО "Московский государственный университет им. М. В. Ломоносова" |
|
2021 |
Колмаков, Евгений Александрович |
Предикаты доказуемости и связанные с ними алгебры : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович ; Московский государственный университет им. М. В. Ломоносова |
|
2004 |
Шангин, Василий Олегович (кандидат философских наук) |
Автоматический поиск натурального вывода в классической логике предикатов : автореф. дис. на соиск. учен. степ. канд. филос. наук : 09.00.07 / Шангин Василий Олегович ; Моск. гос. ун-т им. М.В.Ломоносова, Филос. фак |
|
2003 |
Иноземцев, Владимир Александрович (кандидат философских наук ; род. 1963) |
Теоретико-категорные семантики для классической и неклассических логик : Моногр. / Бел. гос. ун-т информатики и радиоэлектроники |
|
2009 |
Ненашев, Михаил Иванович |
Логика высказываний и предикатов. Неклассическая логика : [учебное пособие для высших учебных заведений специальности 030101.65 Философия] / М. И. Ненашев ; Федеральное агентство по образованию, Вятский государственный гуманитарный университет |
|
2012 |
Драгалина-Черная, Елена Григорьевна (доктор философских наук) |
Онтологии для Абеляра и Елоизы / Е. Г. Драгалина-Черная ; Высшая школа экономики, национальный исследовательский университет |
|
2013 |
Игошин, Владимир Иванович (кандидат физико-математических наук ; доктор педагогических наук ; род. 1948) |
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 050201.65 - математика / В. И. Игошин |
|
2020 |
Лобанов, Владимир Иванович (кандидат технических наук ; род. 1940) |
Русская логика для инженеров / В. И. Лобанов |
|
1998 |
Гладкий, Алексей Всеволодович (доктор физико-математических наук ; род. 1928) |
Математическая логика / Рос.гос.гуманитар.ун-т |
|
1999 |
Ehrig, Hartmut |
Mathematisch-strukturelle Grundlagen der Informatik |
|
2004 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Основы логического проектирования : в 3 кн. / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова ; Нац. акад. наук Беларуси, Объед. ин-т проблем информатики. Кн. 1, Комбинаторные алгоритмы дискретной математики |
|
2022 |
Анисов, Александр Михайлович (доктор философских наук ; род. 1955) |
Современная логика и онтология / А. М. Анисов ; Российская академия наук, Институт философии. — Кн. 1: Традиционная логика. Пропозициональная логика. Логика предикатов |