Математична логіка
Підтеми:
Документи:
- Азбука математической логики [Текст] / Г.П. Мельников. — М. : Знание, 1967. — 104с. + Схемы.
- Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України : науково-теоретичний журнал / Президія НАН України. — С. 66-71.
- Алгебраическая реконструкция силлогистики [Текст] / МГУ им.М.В.Ломоносова // Информационные технологии. — 2008. — С. 7-10.
- Алгебраические критерии алгебраизуемости секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України : науково-теоретичний журнал / Президія НАН України. — С. 88-93.
- Алгебри предикатних операцій та їх застосування у системах штучного інтелекту [Текст] : автореф. дис... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Харків. держ. техн. ун-т радіоелектроніки. — Харків, 2001. — 19 с.
- Алгебры предикатных операций и их применение в системах искусственного интеллекта [Текст] : дис. ... канд. техн. наук / Харьк. техн. ун-т радиоэлектроники. — Харьков, 2000. — 172 с.
- Анализ аварий в человеко-машинных системах с использованием моделей причинно-следственных связей [Текст] / Институт проблем точной механики и управления PАН, г. Саратов , Россия // . — С. 30-35.
- Анализ аварий и возможностей их предотвращения в сложных техногенных системах с использованием моделей причинно-следственных связей [Текст] / ЗАО "НИИИН МНПО "Спектр", г.Москва, Россия // Контроль.Диагностика : журнал Российского общества по неразрушающему контролю и технической диагностике (РОНКТД). — М. : Машиностроение, 2009. — С. 29-36.
- Анализ и синтез автоматического управления в программной среде "Инструмент-3м-И" [Текст] / М.Ф. Степанов // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 27-30.
- Аппроксимация и восстановление непрерывногосигнала на основе дифференциально-чебышевского преобразования [Текст] / Томский политехнический университет, г.Томск // Автометрия : научно-технический журнал / РАН, Сиб. отд-ние; Ин-т автоматики и телеметрии. — С. 53-61.
- Введение в логику и методологию дедуктивных наук [Текст] : пер. с англ. / ред. и предисл. к русск. перев. С.А.Яновской ; примеч. Г.М.Адельсона-Вельского. — М. : Госиздат, 1948. — 326 с.
- Введение в математическую логику [Текст] / А. Черч. — М. : Изд-во иностр. лит., 1960. — 488 с.
- Введение в математическую логику [Текст] / Э. Мендельсон. — 2-е изд., испр. — М. : Наука, 1976. — 320 с.
- Введение в математическую логику [Текст] : пер с англ. / под ред. Адяна С. И. — 3-е изд.. — М. : Наука, 1984. — 320 с.
- Введение в математическую логику [Текст] : Пер. с англ. / Под ред. В.А. Успенского. — М. : Иниздат, 1960. — 484с.
- Введение в математическую логику [Текст] : пер. с англ. / под ред. С. И. Адяна. — 2-е изд., испр. — М. : Наука, 1976. — 320 с.
- Введение в математическую логику [Текст] : Пер с англ. / Под ред. С.И. Адяна. — М. : Наука, 1971. — 320 с.
- Введение в математическую логику [Текст] / под. ред. С. И. Адяна. — М. : Наука. Гл. ред. физ.-мат. лит., 1971. — 320 с.
- Введение в математическую логику [Текст] : Учебн. пособие для вузов / А.Н. Колмогоров, А.Г. Драгалин. — М. : Изд-во МГУ, 1982. — 120с.
- Введение в математическую логику [Текст] : учеб. пособие для студентов мат. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин. — М. : Москов. ун-т, 1982. — 120 с.
- Введение в теорию моделей и метаматематику алгебры [Текст] : Пер. с англ. / Под ред. А.Д. Тайманова. — М. : Наука, 1967. — 376с.
- Взаимодействие ресурсов сложных человекомашинных систем в критических ситуациях [Текст] / В.В. Клюев, А.Ф. Резчиков, А.С. Богомолов, Л.Ю. Филимонюк // . — С. 41-45.
- Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем [Текст] : Ч.1. Общее описание модели / Т.Л. Гаврилова, А.С. Клещев // Проблемы управления : Научно-технический журнал / Ин-т проблем управления им. В.А. Трапезникова; РАН. — М. : ООО "СенСиДат", 2006. — С. 32-35.
- Вопросы кибернетики [Текст] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; под ред. Адяна С. И. — Москва, 1988. — 180 с.
- Вопросы кибернетики [Текст] : сб. ст. / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; под ред. Бирюкова Б. В., Поспелова Д. А. — Москва, 1984. — 208 с.
- Вопросы кибернетики [Текст] : сб. ст. / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика" ; под ред. Сапоженко А. А. — Москва, 1978. — 155 с.
- Вопросы микросинтеза логических структур [Текст] : автореф. дис. ... канд. техн. наук : 05.255 "Техническая кибернетика" / Харьк. ин-т радиоэлектроники. — Харьков, 1970. — 18 с.
- Вопросы микросинтеза логических структур [Текст] : дис. ... канд. техн. наук / Харьк. ин-т радиоэлектроники. — Харьков, 1970. — 239 с.
- Гоммоморфизмы и модели. Логико-алгебраические аспекты моделирования [Текст] / АН СССР. Науч. совет по комплексной проблеме " Кибернетика ". — М. : Наука, 1975. — 151с.
- Групповые структуры на фактор-множествах в задачах классификации [Текст] / В.П. Машталир, В.В. Шляхов, С.В. Яковлев // Кибернетика и системный анализ. — 2014. — С. 27-41.
- Деякі аспекти методологічного підходу до оцінювання інтегрованої системи управління бронетанкового озброєння, заснованої на інформаційно-управляючих системах [Текст] / М.І. Васьківський, І.Б. Чепков // Системи озброєння і військова техніка. — Х., 2011. — С. 12-19.
- Диаграммы Венна. История и применение [Текст] / АН СССР. Науч. Совет по комплекс. проблеме "Кибернетика". — М. : Наука, 1968. — 252с. + Черт.
- Дискретная математика и математическая логика для информатиков, экономистов и менеджеров [Текст] : учеб. пособие для вузов / М.В. Триумфгородских. — Москва : Диалог-МИФИ, 2011. — 180 с.
- Дискретные структуры [Текст] : учеб. пособие / М.Ф. Холодный. — Х. : ХАИ, 1988. — 51 с.
- Доказательства и опровержения. Как доказываются теоремы [Текст] : Пер. с англ. / И. Лакатос. — М. : Наука, 1967. — 152с.
- Доказательства и опровержения [Текст] : как доказываются теоремы / АН СССР. — М. : Наука, 1967. — 152 с.
- Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : Учебн. пособие / Н.К. Косовский. — Л. : ЛГУ, 1981. — 192с.
- Элементы математической логики и теории множеств [Текст] : Пер. с польск. / Спецред. И.Н. Коваленко. — М. : Прогресс, 1965. — 368 с.
- Элементы математической логики и теории множеств [Текст] / Р.Т. Вольвачев. — Минск : Университетское, 1986. — 112с.
- Элементы математической логики [Текст] = Математическая логика и основания математики / П.С. Новиков. — М. : Физматгиз, 1959. — 400 с.
- Элементы математической логики [Текст] : Пособие для учащихся / А.Д. Кутасов. — М. : Просвещение, 1977. — 63с.
- Элементы математической логики [Текст] / П.С. Новиков. — 2-е изд., испр. — М. : Наука, 1973. — 399с.
- Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики [Текст] / Б.В. Бирюков. — 2-е изд., перераб. и доп. — М. : Знание, 1985. — 192 с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И.А. Лавров, Л.Л. Максимова. — 2-е изд. — М. : Наука, 1984. — 224 с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И.А. Лавров, Л.Л. Максимова. — М. : Наука, 1975. — 240 с.
- Заметки по логике [Текст] : Пер. с англ. / Под ред. И.М. Яглома. — М. : Мир, 1968. — 128с.
- Заметки по логике [Текст] / под ред. И. М. Яглома. — М. : Мир, 1968. — 128 с.
- Збірник задач і вправ з математичної логіки [Текст] : навч. посіб. / МАУП. — К. : Персонал, 2008. — 114 с.
- Збірник математичних задач логічного характеру [Текст] / Л.М. Лоповок. — К. : Радянська школа, 1972. — 151с.
- Избранные главы высшей математики [Текст] : учеб. пособие / А.М. Колобов, Г.С. Неверов. — Минск : Вышейшая школа, 1971. — 311 с.
1
2
3
4
|