Математична логіка
Підтеми:
Документи:
- Математическая логика [Текст] : учеб. пособие по курсу "Спецглавы математики" / Гос. ком. СССР по народ. образованию, Харьк. авиац. ин-т им. Н. Е. Жуковского. — Х. : ХАИ, 1991. — 84 с.
- Математическая логика [Текст] : учеб. пособие / [авт.: Л. А. Латонин и др.] ; под общ. ред. А. А. Столяра. — Минск : Вышэйшая школа, 1991.
- Математическая логика [Текст] : учеб. пособие / М-во высшего и среднего спец. образования УССР, Харьк. авиац. ин-т им. Н. Е. Жуковского. — Х. : ХАИ, 1988. — 91 с.
- Математическая логика [Текст] : учеб. пособие / Ю.Л. Ершов, Е.А. Палютин. — 2-е изд., испр. и доп. — М. : Наука, 1987. — 336 с.
- Математическая непрерывная логика и изображение функций [Текст] / С.А. Гинзбург. — М. : Энергия, 1968. — 136с. + Черт.
- Математическая теория логического вывода [Текст] / Под ред. А.В. Идельсона, Г.Е. Минца. — М. : Наука, 1967. — 351с.
- Математические методы в логистике: задачи и решения [Текст] : учеб. - практ. пособие / Г.И. Просветов. — 2-е изд., доп. — М. : Альфа-Пресс, 2012. — 304 с.
- Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / М-во освіти і науки України, Сумський держ. ун-т. — Київ : Ліра-К, 2015. — 212 с.
- Математична логіка [Текст] : курс лекцій / МВ І ССО УРСР. Ужгородський держ. ун-т. Каф. теоретич. кібернетики і математич. логіки. — Ужгород : Б.в., 1971. — 214 с.
- Математична модель групового бою для оцінювання ефективності інформаційно-управляючих систем бронетанкового озброєння [Текст] / М.І. Васьківський // Озброєння та військова техніка. — К., 2014. — С. 12-16.
- Машина Поста [Текст] / В.А. Успенский. — М. : Наука, 1979. — 96с.
- Метаматематика элементарной математики [Текст] : Пер. с нем. / Под ред. А.О. Слисенко. — М. : Мир, 1987. — 126с.
- Метод графов в теории автоматического управления [Текст] : учеб. пособие по курсу "Теория автоматического управления" / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2000. — 110 с.
- Методи та мережеві моделі на основі нечіткої логіки для аналізу станів складних об'єктів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / Харків. нац. ун-т радіоелектроніки. — Харків, 2009. — 19 с.
- Методы логического анализа [Текст] : Сборн. статей / Отв. ред. П.В. Таванец; АН СССР, Ин-т философии. — М. : Наука, 1977. — 263с.
- Модальная логика [Текст] : Пер. с англ. / Р. Фейс. — М. : Наука, 1974. — 520с.
- Моделирование конечных множеств средствами теории интеллекта [Текст] / Ю.П. ШабановКушнаренко // Математические методы анализа динамических систем : темат. сб. науч. тр. / М-во высшего и среднего спец. образования СССР, Харьк. авиац. ин-т. — Х. : ХАИ, 1980. — С. 76-81.
- Моделирование оптимальных планов земледелия с применением адаптированных пакетов технологий [Текст] / Владимирский государственный университет, г.Владимир, Россия // Информационные технологии. — 2009. — С. 79-85.
- Моделі, методи та інформаційна технологія забезпечення групової анонімності даних [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 "Інформаційні технології" / М-во освіти і науки України, Нац. техн. ун-т України "Київ. політехн. ін-т". — Київ, 2016. — 25 с.
- Нейрологические аспекты клеточной нейроматематики [Текст] / А.В. Савельев // Искусственный интеллект. — 2008. — С. 612-623.
- Новый подход к идентификации дефектов материалов изделий [Текст] / Т.Ю. Морозова, А.А. Бекаревич, О.Н. Будадин // Контроль.Диагностика : журнал Российского общества по неразрушающему контролю и технической диагностике (РОНКТД). — М. : Машиностроение, 2014. — С. 42-48.
- О математической логике и философии математики [Текст] : Начальные сведения об основаниях математики; Пер. с англ. / Г. Ивс, К.В. Ньюсом. — М. : Знание, 1968. — 48с. + Черт.
- Определение типа пассажиропотока в административных зданиях на основе анализа поступающих вызовов и приказов [Текст] / Рязанский государственный радиотехнический университет, г.Рязань, Россия // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2009. — С. 10-15.
- О применении математической логики и нелинейного программирования при выборе параметров летательных аппаратов [Текст] / В.Д. Ильичев. — М. : Изд. отдел ЦАГИ, 1969. — 39 с.
- Организация базы данных в системе автоматического доказательства теорем САД. [Текст] / Национальный технический университет Украины "КПИ". г.Киев, Украина // Искусственный интеллект. — 2006. — №4. — С. 353-360.
- Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] : Пер. с англ. / С.К. Клини, Р. Весли. — М. : Наука, 1978. — 271с.
- Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. — 2-е изд. — М. : Наука, 1982. — 560 с.
- Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. — М. : Наука, 1979. — 560 с.
- Основания математики [Текст] : Логич. исчисления и формализация арифметикиПер. с нем. / Под ред. С.И. Адаяна. — 2-е изд. — М. : Наука, 1982. — 556с.
- Основания математики [Текст] : Логич. исчисления и формализация арифметикиПер. с нем. / Под ред. С.И. Адаяна. — М. : Наука, 1979. — 557с.
- Основания математики [Текст] : теория доказательств / Д. Гильберт, П. Бернайс. — М. : Наука, 1982. — 656 с.
- Основания математики: Теория доказательств [Текст] : Пер. с нем. / Под ред. С.И. Адаяна. — М. : Машиностроение, 1982. — 652с.
- Основания математической логики [Текст] : Пер. с англ. / Под ред. Ю.А. Гастева. — М. : Мир, 1969. — 568с.
- Основы логики с задачами и упражнениями [Текст] : учеб. пособ. / В.П. Плавич. — Харьков : Бурун Книга, 2010. — 208 с.
- Особенности структуры электромагнитного поля и параметров волнового процесса в морском тропосферном волноводе. [Текст] / И.Л. Афонин, А.А. Бычков // Известия вузов. РадиоэлектроникаТ.47. Т.47. 2 - К. : КПИ , 2004. — С. 58-64.
- Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / Институт кибернетики им.В.М.Глушкова НАН Украины, г.Киев, Украина // Кибернетика и системный анализ. — 2010. — №4. — С. 169-180.
- Повышение отказоустойчивости FPGA путем реконфигурации работоспособных элементов [Текст] / С.Ф. Тюрин, А.Ю. Городилов, И.С. Понуровский // Радіоелектронні і комп'ютерні системи. — 2013. — С. 172-176.
- Получение выводов в противоречивых системах. [Текст] / О.В. Герман // Кибернетика и системный анализ. — 2005. — №5. — С. 29-41.
- Понятийные предикатные модели и метод прототипирования структурируемых объектов в системах искусственного интеллекта [Текст] : дис. ... канд. техн. наук : 05.13.23 "Системы и средства искусственного интеллекта" / М-во образования и науки Украины, Харьк. нац. ун-т радиоэлектроники. — Харьков, 2016. — 161 с.
- Понятійні предикатні моделі і метод прототипування об'єктів, що структуруються, в системах штучного інтелекту [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. — Харків, 2016. — 19 с.
- Популярная логика [Текст] : Общедоступный очерк логики предложений; Пер. с польск. / А. Гжегорчик. — 3-е изд., стереотип. — М. : Наука, 1979. — 111с.
- Пороговая логика [Текст] / М. Дертоузос. — М. : Мир, 1967. — 344 с.
- Прикладной нестандартный анализ [Текст] : Пер. с англ. / Под ред. В.А. Успенского. — М. : Мир, 1980. — 236с.
- Приложение логического программирования к многозначной логике с относительной истинной [Текст] / А.П. Пынько // Управляющие системы и машины. 1 ; НАН Украины; Международный научно-учебный центр информ. технологий и систем; Ин-т кибернетики им. В.М. Глушкова - К. , 2013. — С. 58-65.
- Применение ЭВМ для решения задач математической логики и теории алгоритмов [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2010. — 70 с.
- Применение системы автоматизированной дедукции для верификации математических текстов. [Текст] / Киевский национальный университет им.Тараса Шевченка // Искусственный интеллект. 3 , 2003. — С.57-69.
- Применение Event-b для создания систем на программируемой логике [Текст] / Национальный аэрокосмический университет им.Н.Е.Жуковского "ХАИ", г.Харьков,Украина, Университет, г.Турку, Финляндия // Радіоелектронні і комп'ютерні системи. — 2009. — С. 245-250.
- Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций [Текст] : Сборн. переводов / Под ред. В.А. Козмидиади, А.А. Мучника. — М. : Мир, 1970. — 432с. + Черт.
- Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України : науково-теоретичний журнал / Президія НАН України. — С. 51-54.
- Про тотожність логічних операцій та арифмитичного додавання індексів булевих функцій. [Текст] / Київський національний університет ім. Т.Г. Шевченка. // Фізико-математичне моделювання та інформаційні технології : науковий збірник / НАНУ; Центр математичного моделювання ін-ту прикладних проблем механіки і математики ім. Я.С. Підстригача. — К., 2005. — С. 126-132.
1
2
3
4
|
