Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул
Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул
- Вид издания
- Монография
- Год
- 2014
- Издательство
- Изд-во Иркут. гос. ун-та
- ISBN
- 978-5-9624-0941-2
- Место издания
- Иркутск
- ББК
- 87.4:32.973-01+32.813
- УДК
- 165:681.3.06+62-52
- Относится к ВУЗу(ам)
- Иркутский государственный университет
- Основной раздел каталога
- Научные публикации (монографии, сборники статей и т.п.)
- Ключевые слова
- языки программирования, предикат равенства, кэширование, вычислительная техника, компьютерная логика, логическое программирование
- Рецензенты
- Ульянов В. С., Заикин О. С.
Содержаться результаты исследований авторов, полученные при реализации системы автоматического доказательства теорем и логическом языке позитивно-образованных формул первого порядка и его исчислении. Рассмотрены вопросы разработки и адаптации современных подходов к повышению производительности систем автоматического поиска логического вывода к свойствам языка и исчисления. Проведен анализ результатов тестирования программы на разных классах задач.
Монография предназначена для специалистов, чьи научные интересы находятся в области информатики, теории программирования. компьютерной логики. автоматического доказательства теорем, а также она будет полезна аспирантам и студентам старших курсов математических специальностей, изучающих компьютерную логику и логическое программирование.
Издание выходит в рамках Программы стратегического развития ФГБОУ ВПО "ИГУ" на 2012-2016 гг., проект Р121-02-001.