• Класифікатори
• логіка, логика

логіка математична, логика математическая

Документи:

• Барский, А. Б. Логические нейронные сети [Електронний ресурс] / А. Б. Барский. – Электрон. текст. данные. – Москва : Национальный Открытый Университет "ИНТУИТ", 2016. – (Основы информационных технологий).
• Борисенко, О. А. Дискретна математика [Текст] : підручник / О. А. Борисенко. – Суми : ВТД "Університетська книга", 2008. – 255 с. – ISBN 978-966-680-376.
• Гильберт, Д. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. – М. : Наука, 1982. – 557с. – (Математическая логика и основания математики).
• Гильберт, Д. Основания математики [Текст] : Логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М.Нагорного. – М. : Наука, 1979. – 557 с.
• Гильберт, Д. Основания математики [Текст] : Теория доказательств / Д. Гильберт, П. Бернайс ; Пер. с нем. Н.М. Нагорного; Под ред. С.И. Адяна. – М. : Наука, 1982. – 652с. – (Математическая логика и основания математики).
• Гинзбург, С. А. Математическая непрерывная логика и изображение функций [Текст] / С. А. Гинзбург. – М. : Энергия, 1968. – 135 с. – (Библиотека по автоматике). – 0.43 р.
• Гладкий, А. В. Формальные грамматики и языки [Текст] / А. В. Гладкий. – Москва : Наука, 1973. – 368 с. – 1,51 р.
• Гладкий, А. В. Язык математической логики [Текст] : Учебное пособие / А. В. Гладкий. – Калинин, 1977. – 84 с.
• Гладунський, В. Н. Вища математика [Текст] : означення, формули, приклади : навчальний посібник / В. Н. Гладунський ; МОН України, ЛІБС. – Вид. 2-ге, допов. – Львів : Афіша, 2008. – 490 с. – ISBN 978-966-325-102-8 : 65,00 грн.
• Доценко, О. В. Використання графового моделювання для автоматизації вирішення економічних задач [Текст] / О. В. Доценко // Актуальні проблеми економіки. – 2005. – № 11. – 164-171.
• Ершов, Ю. Л. Математическая логика [Текст] : Учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. – 2-е изд., испр. и доп. – М. : Наука, 1987. – 336с.
• Журавчак, Л. М. Дискретна математика для програмістів [Текст] : навчальний посібник / Л. М. Журавчак ; НУ "Львівська політехніка". – Львів : Вид-во Львівської політехніки, 2019. – 420 с. – ISBN 978-966-941-325-3 : 213,40 грн.
• Зайченко, Ю. П. Нечіткий метод групового врахування аргументів та його застосування в задачах прогнозування макроекономічних показників [Текст] / Ю. П. Зайченко, О. Г. Кебкал, В. Ф. Крачковський // Наукові вісті НТУУ КПІ. – 2000. – № 2. – С. 18-26.
• Карри, Х. Основания математической илогики [Текст] = Foundations of mathematical logic / Х. Карри ; пер. с англ. В. В. Донченко; под ред. Ю. А. Гастева. – Москва : Мир, 1969. – 568 с. – 2,64 р.
• Кац, М. Математика и логика [Текст] : ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой, под ред. И. М. Яглома. – М. : Мир, 1971. – 251 с. – (Популярная серия "Современная математика"). – 0,80 р.
• Клини, С. К. Математическая логика [Текст] : пер. с англ. / С. К. Клини ; под ред. Г. Е. Минца. – М. : Мир, 1973. – 480 с. – 0,73.
• Колмогоров, А. Н. Введение в математическую логику [Текст] : Учебное пособие для математ. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. – М. : Изд-во МГУ, 1982. – 120с. – Библиогр.:с. 120.
• Кондратенко, Н. Р. Комп'ютерний практикум з математичної логіки [Електронний ресурс] : навчальний посібник / Н. Р. Кондратенко. – Електрон. текстові дані. – Вінниця : ВНТУ, 2010.
• Кондратенко, Н. Р. Комп'ютерний практикум з математичної логіки [Текст] : навчальний посібник / Н. Р. Кондратенко. – Вінниця : ВНТУ, 2010. – 117 с. – ISBN 978-966-641-381-2 : 18,83 грн.
• Косовский, Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : Учеб. пособие / Н. К. Косовский ; МВ и ССО РСФСР. – Л. : Изд-во Ленингр. ун-та, 1981. – 192 с.
• Кривий, С. Л. Дискретна математика [Текст] : підручник / С. Л. Кривий ; КНУ ім. Т. Шевченка, ХНУ. – 2-ге вид. – Чернівці ; Київ : Букрек, 2017. – 568 с. – ISBN 978-966-399-837-4 : 150,00 грн.
• Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. – М. : Наука, 1975. – 240 с. – 0,90 грн.
• Литвиненко, А. Е. Определение класса истинности логических формул методом направленного перебора [Текст] / А. Е. Литвиненко // Кибернетика и системный анализ. – 2000. – № 5. – 23-31.
• Матвієнко, М. П. Дискретна математика. ХХІ століття [Текст] : підручник / М. П. Матвієнко ; КІСумДУ. – Вид. 2-ге перероб. і допов. – Київ : Ліра-К, 2017. – 324 с. – ISBN 978-966-2609-32-5 : 215,00 грн.
• Матвієнко, М. П. Математична логіка та теорія алгоритмів [Текст] : навчальний посібник / М. П. Матвієнко, С. П. Шаповалов ; МОН України, СумДУ. – Київ : Ліра-К, 2015. – 212 с. – ISBN 978-966-2609-74-5 : 92,00 грн.
• Мендельсон, Э. Введение в математическую логику [Текст] = Introduction to Mathematical Logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. – Москва : Наука, 1971. – 320 с. – 1,77 р.
• Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. – М. : Наука, 1977. – 328 с. – (Математическая логика и основания математики).
• Носенко, С. Е. К вопросу применения метода математической логики для анализа технического состояния элементов бинарных систем [Текст] / С. Е. Носенко, Б. П. Башуров // Изв.ВУЗов.Машиностроение. – 2004. – № 2. – 42-46.
• Носенко, С. Е. К вопросу применения метода математической логики для анализа технического состояния элементов бинарных систем [Текст] / С. Е. Носенко, Б. П. Башуров // Изв.ВУЗов.Машиностроение. – 2003. – № 4. – 35-40.
• Тмєнова, Н. П. Дискретна математика [Текст] : теорія множин і відношень, комбінаторика, числення висловлювань : навчальний посібник / Н. П. Тмєнова ; КНУ ім. Т. Шевченка. – Київ : ВПЦ "Київський університет", 2018. – 103 с. – 12, 91 грн.
• Тмєнова, Н. П. Дискретна математика [Електронний ресурс] : теорія множин і відношень, комбінаторика, числення висловлювань : навчальний посібник / Н. П. Тмєнова ; КНУ ім. Т. Шевченка. – Електрон. текст. дані. – Київ : ВПЦ "Київський університет", 2018.
• Федорук, П. І. Використання математичної логіки для встановлення навчального режиму в автоматизованих системах передачі знань [Текст] / П. І. Федорук, М. В. Пікуляк // Математичні машини і системи. – 2013. – № 1. – С. 94-101.
• Шабанов-Кушнаренко, Ю. П. Теория интеллекта. Математические средства [Текст] : монографія / Ю. П. Шабанов-Кушнаренко. – Харьков : Вища школа, 1984. – 144 с. – 1,60 р.
• Шенфилд, Дж. Математическая логика [Текст] / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. – Москва : Наука, 1975. – 528 с. – 2,16 р.
• Шрейдер, Ю. А. Равенство, сходство, порядок [Текст] / Ю. А. Шрейдер. – М. : Наука, 1971. – 256 с. – 0,44.
• Вопросы кибернетики. Сложность вычислений и прикладная математическая логика [Текст] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"; Под ред. С.И.Адяна. – М., 1988. – 180с.
• Математическая логика и теория алгоритмов [Текст] : Труды ин-та математики. Т.1 / АН СССР, Сибирское отд.; Отв. ред. С.Л. Соболев. – Новосибирск : Наука, 1982. – 176 с.
• Математическая логика и автоматическое доказательство теорем [Текст] : Пер. с английского. – М. : Наука, 1983. – 360с. – (Математическая логика и основания математики).
• Сложность вычислений и алгоритмов [Текст] / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. – Москва : Мир, 1974. – 390 с. – (Библиотека "Кибернетического сборника"). – 1,96 р.
• Справочная книга по математической логике [Текст] : В 4-х частях. Ч.3 : Теория рекурсии /  пер. Пер. с англ. под ред. Дж.Барвайса. – М. : Наука, 1982. – 360 с.
• Справочная книга по математической логике [Текст] : В 4-х частях. Ч.2 : Теория множеств /  пер. Пер. с англ. под ред. Дж.Барвайса. – М. : Наука, 1982. – 376 с.
• Справочная книга по математической логике [Текст] : В 4-х частях: Пер. с английского. Ч.4 : Теория доказательств и конструктивная математика / К. Смотринский, Г. Швихтенберг, Р. Стетмен и др.; Пер. Г.В. Давыдова, Г.Е. Минца; Под ред. В.П. Оревкова. – М. : Наука, 1983. – 391с : ил. – Библиогр. в конце глав.
• Справочная книга по математической логике [Текст] : В 4-х частях. Ч.1 : Теория моделей /  пер. Пер. с англ. под ред. Дж. Барвайса. – М. : Наука, 1982. – 392 с.
• Теория алгорифмов и математическая логика [Текст] / АН СССР, вычислительный центр ; под ред. Б. А. Кушнера и Н. М. Нагорного. – Москва : ВЦ АН СССР, 1974. – 216 с. – 0,85 р.