новости и события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

 Источники

 

 

 Видео

 

 

 

 

 Файлы