новости и события11.02.2013 17:00:00Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул (по материалам кандидатской диссертации)<div class="smn-ict"><div class="smn-author">Ларионов Александр Александрович</div><div class="smn-speaker">Ларионов Александр Александрович</div><div class="smn-institute">Иркутский государственный университет</div><div class="smn-city">Иркутск</div><div class="smn-title"></div><div class="smn-abstract">Диссертация посвящена разработке методов эффективного поиска логического вывода в исчислении позитивно–образованных формул и реализации этих методов в форме программной системы автоматического доказательства теорем (АДТ). Программная система протестирована на наборе задач из библиотеки TPTP (www.tptp.org), проведено сравнение с иными системами АДТ.</div><div class="smn-e_mail">alexander@prisnif.org</div></div>новости и событияПрограммные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул (по материалам кандидатской диссертации)<tags><tag>og:description</tag><value>Ларионов Александр АлександровичЛарионов Александр АлександровичИркутский государственный университетИркутскДиссертация посвящена разработке методов эффективного поиска логического вывода в исчислении</value><tag>og:image</tag><value>http://news.sbras.ru/ru/NewsPictures/seminar1.jpg</value></tags>12.02.2013

 Источники

 

 

 Видео

 

 

 

 

 Файлы

 

 

 Новости

 

 


В России до 2022 года создадут самую северную магнитную обсерваторию
Дайджест по материалам зарубежной электронной прессы «Российская наука и мир». Январь 2019
ИНГГ СО РАН посетил Генеральный консул Федеративной Республики Германия в Новосибирске
IV форум «Городские технологии» пройдет в Новосибирске 4-5 апреля
Программа работы общего собрания Сибирского отделения РАН 10-11 апреля 2019 года
XXIII Международный научный симпозиум студентов и молодых ученых имени академика М.А. Усова «Проблемы геологии и освоения недр», посвященный 120-летию со дня рождения академика К.И. Сатпаева, 120-летию со дня рождения профессора К. В. Радугина
XIII Сибирское совещание и школа молодых ученых по климатоэкологическому мониторингу
В чем риск решения о передаче земель новосибирского Академгородка?
РНФ начинает прием заявок на «молодежные» конкурсы Президентской программы исследовательских проектов
Заседание Геологической секции Ученого совета