Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Фундаментальні та загальні питання математики

Математична логіка

Підтеми:

• Мови математичної логіки. Формальні мови
• Класична логіка
• Некласичні логіки
• Логічно-математичні теорії. Формальна арифметика. Формальна теорія чисел
• Теорія моделей
• Прикладні системи логіки
• Пошук виводу та проблеми розв'язання при логічних та логіко-математичних обчислень

Документи:

• Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України  : науково-теоретичний журнал / Президія НАН України. — С. 45-51.
• Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. — 4-е изд., стереотип. — М. : Наука, 1965. — 128с. + Черт.
• Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И.С. Градштейн. — 5-е изд. — М. : Наука, 1972. — 128с. + Черт.
• Разработка формализованного языка диагностики состояний на основе дескрипционной логики [Текст] / С.А. Нестеренко, П.М. Тишин, А.С. Маковецкий // Радіоелектронні і комп'ютерні системи. — 2012. — С. 178-183.
• Расчет остаточного ресурса технической системы с помощью методов нечеткой логики с использованием программных комплексов Matlab и Simulink [Текст] / Институт промышленного производства и автоматизации им. Фраунгофера // Авиационно-космическая техника и технология : Научно-технический журнал. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — С. 161-165.
• Секвенційні числення темпоральних і мультимодальних логік часткових предикатів [Текст] / О.С. Шкільняк // Искусственный интеллект. — 2013. — С. 55-66.
• Символическая логика и разумные машины [Текст] : Пер. с англ. / Под ред. Г.Н. Поварова. — М. : Иниздат, 1961. — 260с.
• Синтез согласованных оценок истинности утверждений в интеллектуальных информационных системах [Текст] / А.Л. Тулупьев, А.В. Сироткин, С.И. Николенко // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 20-26.
• Системный подход к задаче оценки остаточного ресурса человеко-машинных систем [Текст] / В.В. Клюев, А.Ф. Резчиков, А.С. Богомолов та ін. // Контроль.Диагностика : журнал Российского общества по неразрушающему контролю и технической диагностике (РОНКТД). — М. : Машиностроение, 2011. — С. 9-13.
• Системы поддержки принятия решений на основе нечетких моделей [Текст] / ВЦ РАН, Москва // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 89-100.
• Ситуационные советующие системы с нечеткой логикой [Текст] / А.Н. Мелихов, Л.С. Берштейн, С.Я. Коровин. — М. : Наука, 1990. — 271с.
• Сложность вычислений и алгоритмов [Текст] : сб. переводов / под ред. В. А. Козмидиани, А. Н. Маслова, Н. В. Петри. — Москва : Мир, 1974. — 389 с.
• Справочная книга по математической логике [Текст]. Теория доказательств и конструктивная математика : В 4-х ч.; Пер. с англ. / Под ред. Д. Барвайса. — М. : Наука, 1983. — 391с.
• Справочная книга по математической логике [Текст]. Теория множеств : В 4-х ч.; Пер. с англ. / Под ред. Д. Барвайса. — М. : Наука, 1982. — 375с.
• Справочная книга по математической логике [Текст]. Теория моделей : В 4-х ч.; Пер. с англ. / Под ред. Д. Барвайса. — М. : Наука, 1982. — 392с.
• Справочная книга по математической логике [Текст]. Теория рекурсии : В 4-х ч.; Пер. с англ. / Под ред. Д. Барвайса. — М. : Наука, 1982. — 360с.
• Статистически эквивалентные отображения конечных множеств [Текст] / В.В. Скобелев // . — С. 41-52.
• Статическое прогнозирование времени выполнения комплексов взаимосвязанных работ в многопроцессорных вычислительных системах [Текст] / Н.Н. Иванов, В.В. Игнатущенко, А.Ю. Михайлов // Автоматика и телемеханика  : науково-технічний журнал / Рос. акад. наук. — С. 89-103.
• Структурно-логические методы исследования сложных систем с применением ЭВМ [Текст] / В.И. Левин. — М. : Гл. ред. фиэ.-мат. лит., 1987. — 304 с.
• Теоретико-модельный подход к вероятностным знаниям экспертов как к формулам в теории первого порядка [Текст] / Институт математики СО РАН, г.Новосибирск, Россия // Искусственный интеллект. — 2006. — №2. — С. 25-29.
• Теория автоматов [Текст] : [ учеб. для вузов ] / Ю.Г. Карпов. — М.; СПб. : Питер, 2002. — 224 с.
• Теория алгоифмов [Текст] / А.А. Марков, Н.М. Нагорный. — М. : Наука, 1984. — 432 с.
• Теория доказательств [Текст] : Пер. с англ. / Под ред. С.И. Адяна. — М. : Мир, 1978. — 412с.
• Тесты. Физика. Математическая логика [Текст] / МО Украины;ИСМО,ХТУРЭ. — Харьков : ХТУРЭ, 1998. — 152 с.
• Трехмерная модель вихретокового контроля теплообменных труб парогенераторов реакторных установок с ВВЭР [Текст] / Н.В. Сахно, И.Н. Каденко, Р.В. Ермоленко // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 3-14, 48.
• Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Б.И. Плоткин. — М. : Наука, 1991. — 448 с.
• Управление запасами как задача идентификации на основе нечеткой логики [Текст] / А.П. Ротштейн, А.Б. Ракитянская // Кибернетика и системный анализ. — 2006. — №3. — С. 123-133.
• Управління складними системами в умовах невизначеності [Текст] : навч. посіб. / О.А. Мураховська. — Х. : Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", 2010. — 88 с.
• Философско-методологические аспекты релевантной логики [Текст] / Е.К. Войшвилло. — М. : Изд-во МГУ, 1988. — 139с.
• Формальный вывод и логические исчисления [Текст] / В.А. Смирнов. — АН СССР. Ин-т философии. — М. : Наука, 1972. — 271с.
• Что такое математическая логика? [Текст] / Л.А. Калужнин. — М. : Наука, 1964. — 151с.
• Что такое математическая логика? [Текст] / Общество по распростр. полит. и науч. знаний УССР. — К. : Б.и., 1961. — 40с.
• Языковые проблемы автоматизации доказательств теорем в формализованных теориях [Текст] / З.М. Асельдеров, О.В. Байкалова, А.В. Лялецкий та ін. // . — С. 608-613.
• Empirical analysis of standard length model. [Текст] = Эмпирический анализ модели стандартной длины. / Ченстоховский технический университет, Польша // Электронное моделирование. — 2005. — С. 45-52.
• Event-B patterns for developing FPGA-BASED hardware [Текст] / ациональный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков, Украина // . — C. 154-160.
• Fault tolerant logic element - FTLUT FPGA [Текст] = Отказоустойчивый логический элемент ПЛИС FPGA / S.F. Tyurin // Радіоелектронні і комп'ютерні системи. — 2014. — С. 152-159.
• Syntesis and analysis of self-timed functionally complete tolerant element [Текст] / A.N. Kamenskih, I.S. Ponurovskiy, S.F. Tyurin // Радіоелектронні і комп'ютерні системи. — 2013. — С. 162-167.

1    2    3    4