№ | Дата |
Автор |
Заглавие |
---|
|
2017 |
Павлов, Владимир Александрович (информационные технологии) |
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович ; [Санкт-Петербургский политехнический университет Петра Великого] |
|
2010 |
Семченков, Сергей Юрьевич (кандидат технических наук) |
Алгоритмы проектирования систем многомерного анализа данных, основанных на OLAP технологии : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Семченков Сергей Юрьевич ; [ГОУ ВПО "Рязанский государственный радиотехнический университет"] |
|
2011 |
Михелев, Михаил Владимирович |
Формализация визуальных графоаналитических моделей процессов управления : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01 / Михелев Михаил Владимирович ; [Белгородский государственный национальный исследовательский университет (НИУ "БелГУ")] |
|
2007 |
Липовченко, Владимир Андреевич |
Логический вывод и обработка знаний в информационных средах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Липовченко Владимир Андреевич ; [Иркутский государственный университет] |
|
2014 |
|
Доказательство = Proof : [очевидность, достоверность и убедительность в математике] : труды Московского семинара по философии математики / под редакцией В. А. Бажанова, А. Н. Кричевца, В. А. Шапошникова |
|
2012 |
Герман, Олег Витольдович (кандидат технических наук, информатика ; род. 1960) |
Неклассические логические исчисления : учебно-методическое пособие для студентов учреждений, обеспечивающих получение высшего образования на 2-й ступени по специальности 1-40 80 02 "Системный анализ, управление и обработка информации" / О. В. Герман ; Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", [Факультет информационных технологий и управления] |
|
2008 |
|
Многозначные логики и их применения : [сборник статей] / составители О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под редакцией В. К. Финна. — Т. 1: Логические исчисления, алгебры и функциональные свойства |
|
2010 |
Томилов, Иван Николаевич (кандидат технических наук) |
Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Томилов Иван Николаевич ; [Государственное образовательное учреждение высшего профессионального образования "Новосибирский государственный технический университет"] |
|
2012 |
Кутюра, Луи |
Алгебра логики / Л. Кутюра ; перевод с французского и предисловие И. В. Слешинского |
|
2005 |
Кац, Виктор Григорьевич (кандидат физико-математических наук ; род. 1943) |
Вертексные алгебры для начинающих / В.Г. Кац ; пер. с англ. И.М. Парамоновой |
|
2005 |
Васюков, Владимир Леонидович (доктор философских наук ; род. 1948) |
Категорная логика / В.Л. Васюков ; Рос. акад. наук, Ин-т философии |