• Класифікатори
• мат...

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

Документи:

• Дискретна математика [Електронний ресурс] [Текст] : метод. рекомендації до викон. контрол. роботи для студ. освіт. ступ. "Бакалавр" спец. 122 "Комп'ютерні науки" заоч. форми навч. / уклад. : А. С. Богатирчук, С. В. Гузенко ; Нац. ун-т харч. технол. — Київ : НУХТ, 2018. — 59 с. — каф. вищої математики імені проф. Можара В. І.
• Математика в СССР за тридцать лет: 1917-1947 [Текст] / Под ред. А.Г. Куроша, А.И. Маркушевича, П.К. Рашевского. — М. : ОГИЗ, 1948. — 1044 с.
• Математическая логика в программировании [Текст] / Под. ред. М.В. Захарьящева. — К. : Мир, 1991. — 410 с. — ISBN 5-03-001635-Х.
• Математическая логика в программировании [Текст] : сб. статей: пер. с англ. / под ред. М. В. Захарьящева, Ю. И. Янова. — М. : Мир, 1991. — 408 с. — (Математическое обеспечение ЭВМ). — ISBN 5-03-001635-Х.
• Арбиб, Майкл А.
  Мозг, машина и математика [Текст] : Пер. с англ. / Майкл А. Арбиб ; Под ред. М.И. Кратко. — М. : Наука, 1968. — 224 с.
• Артамонова, И. В.
  Использование инновационных технологий при обучении химии бакалавров в технических вузах [Текст] / И. В. Артамонова, Е. О. Забенькина // Известия высших учебных заведений. Химия и химическая технология. — 2012. — Т. 55, № 12. — С. 130-132. — Библиогр. в конце ст.
• Барковський, В. В.
  Вища математика для економістів [Текст] : навч. посібник / В. В. Барковський, Н. В. Барковська. — 5-те вид. — Київ : ЦУЛ, 2019. — 448 с. — рекомендовано кафедрою. — ISBN 978-611-01-1008-2.
• Барковський, В. В.
  Вища математика для економістів [Текст] : навч. посібник / В. В. Барковський, Н. В. Барковська. — 5-те вид. — Київ : ЦУЛ, 2023. — 448 с. — рекомендовано кафедрою. — ISBN 978-611-01-1008-2.
• Бизам, Д.
  Игра и логика [Текст] : 85 логических задач / Д. Бизам, Я. Герцен ; Пер. с венг. Ю.А. Данилова. — М. : Мир, 1975. — 358 с.
• Вейль, Герман
  Математическое мышление [Текст] / Г. Вейль ; Под ред. Б.В. Бирюкова, А.Н. Паршина. — М. : Наука, 1989. — 400 с. — ISBN 5-02-013910-6.
• Вильнер, Бертольд Яковлевич
  Очерки по кибернетике [Текст] / Б. Я. Вильнер, Л. Пешес, Э. Дорошевич. — Минск : Наука и техника, 1965. — 156 с.
• Гарднер, Мартин
  Крестики - нолики [Текст] : Пер. с англ. / М. Гарднер. — М. : Мир, 1988. — 352 с. — ISBN 5-03-001234-6.
• Гарднер, Мартин
  Математические новеллы [Текст] : Пер. с англ. / М. Гарднер ; Под ред. Я.А. Смородинского. — М. : Мир, 1974. — 454 с.
• Гильберт, Давид
  Основы теоретической логики [Текст] : Пер. с нем. / Д. Гильберт, В. Аккерман ; Под ред. С.А. Яновской. — М. : Гостехиздат, 1947. — 302 с.
• Грэй, Питер
  Логика, алгебра и базы данных [Текст] : Пер. с англ. / П. Грэй ; Под ред. Г.В. Орловского, А.О. Слисенко. — М. : Машиностроение, 1989. — 359 с. — ISBN 5-217-00178-Х.
• Застосування інформаційних технологій під час вивчення розділу "Перетворення бульових функцій" у дискретній математиці [Текст] / О. І. Думанський, Б. О. Бекас, І. Б. Пірко, Н. Думанський // Стандартизацiя, сертифiкацiя, якiсть. — 2019. — № 5 (117). — С. 61-73. — Бібліогр. в кінці ст.
• Ершов, Юрий Леонидович
  Математическая логика [Текст] : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. — 2-е изд., испр. и доп. — М. : Наука, 1987. — 336 с.
• Журавчак, Любов Михайлівна
  Дискретна математика для програмістів [Текст] : навч. посібник / Л. М. Журавчак ; Нац. ун-т "Львів. політехніка". — Львів : Вид-во Львівської політехніки, 2019. — 420 с. — ISBN 978-966-941-325-3.
• Журавчак, Любов Михайлівна
  Практикум з комп'ютерної дискретної математики [Текст] : навч. посібник / Л. М. Журавчак, Н. І. Мельникова, П. В. Сердюк ; Нац. ун-т "Львівська політехніка". — Львів : Вид-во Львівської політехніки, 2020. — 316 с. — ISBN 978-966-941-452-6.
• Зубенко, Віталій Володимирович
  Основи математичної логіки [Текст] : навч. посібник / В. В. Зубенко, С. С. Шкільник ; Київ. нац. ун-т ім. Т. Шевченка. — Київ : НУБіП України, 2020. — 102 с. — ISBN 978-617-7878-13-0.
• Карри, Х. Б.
  Основания математической логики [Текст] / Х. Б. Карри ; Пер. с англ. В.В. Донченко; Под ред. Ю.А. Гастева. — М. : Мир, 1969. — 568 с.
• Колмогоров, А. Н.
  Введение в математическую логику [Текст] : Учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. — М. : МГУ, 1982. — 120 с.
• Кохан, Я. Т.
  Розуміння мовних виразів [Текст] / Я. Т. Кохан // Фiлософська думка. — 2012. — № 3. — С. 55-68. — Бібліогр. в кінці ст.
• Лапа, Валентин Григорьевич
  Математические основы кибернетики [Текст] : Учеб. пособие / В. Г. Лапа. — К. : Вища шк., 1971. — 418 с.
• Матвієнко, Микола Павлович
  Дискретна математика [Текст] : підручник / М. П. Матвієнко ; Конотоп. ін-т Сум. держ. ун-ту. — Вид. 2-ге перероб. і доп. — Київ : Ліра-К, 2017. — 324 с. — ISBN 978-966-2609-32-5.
• Матвієнко, Микола Павлович
  Дискретна математика [Текст] : підручник / М. П. Матвієнко ; Конотоп. ін-т Сум. держ. ун-ту. — 2-ге вид., перероб. і доп. — Київ : Ліра-К, 2020. — 324 с. — ISBN 978-966-2609-32-5.
• Мендельсон, Э.
  Введение в математическую логику [Текст] : Пер. с англ. / Э. Мендельсон ; Под ред. С.И. Адяна. — М. : Наука, 1971. — 320 с.
• Новиков, Л. Г.
  Принципі конвейерной логической обработки сигналов [Текст] / Л. Г. Новиков // Приборы и системы.Управление, контроль, диагностика. — 2009. — № 1. — С. 10-13.
• Новиков, П. С.
  Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков ; Главная ред. физ.-мат. литературы. — М. : Наука, 1977. — 328 с. — (Математическая логика и основания механики).
• Петров, Ю. А.
  Логические проблемы абстракций безконечности и осуществимости [Текст] / Ю. А. Петров. — М. : Наука, 1967. — 164 с.
• Петров, Ю. А.
  Математическая логика и материалистическая диалектика [Текст] : Проблемы логико-философских оснований и обоснования теорий / Ю. А. Петров. — М. : Изд-во Моск. ун-та, 1974. — 191 с.
• Селяков, Е. Б.
  Моделирование требованиц к техническим системам методами математической логики [Текст] / Е. Б. Селяков // Автоматика. Автоматизация. Электротехнические комплексы и системы. — 2009. — № 2. — С. 12-17.
• Стяжкин, Н. И.
  Формирование математической логики [Текст] / Н. И. Стяжкин ; АН СССР. — М. : Наука, 1967. — 508 с.
• Логический подход к искусственному интеллекту: от классической логики к логическому программированию [Текст] : Монография: Пер. с фр. / А. Тей, П. Грибомон, Ж. Луи и др. — М. : Мир, 1990. — 432 с. — ISBN 5-03-001636-8.
• Хилтон, А. М.
  Логика и цепи переключения [Текст] / А. М. Хилтон ; Под ред. Г.М. Уланова. — М.-Л. : Госэнергоиздат, 1962. — 88 с.
• Черч, А.
  Введение в математическую логику [Текст] / А. Черч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. — М. : ИИЛ, 1960. — 484 с.
• Шрайберг, Яков Леонидович
  Справочное руководство по основам информатики и вычислительной техники [Текст] / Я. Л. Шрайберг, М. В. Гончаров. — М. : Финансы и статистика, 1990. — 32 с. — ISBN 5-279-00476-6.