7333

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Пленарный доклад

Название: 

Исчисление позитивно-образованных формул и применения

Наименование конференции: 

  • Международная междисциплинарная конференция «Философия, математика, лингвистика: аспекты взаимодействия», Санкт-Петербург, 2009

Наименование источника: 

  • Труды Международной конференции «Философия, математика, лингвистика: аспекты взаимодействия» (Санкт-Петербург, 2009)

Город: 

  • Санкт-Петербург

Издательство: 

  • СпБГУ

Год издания: 

2009

Страницы: 

26-32
Аннотация
Описываются логические средства автоматического доказательства и синтеза теорем, которые отличаются от известных своими выразительными, дедуктивными и абдуктивными возможностями. Положительная апробация осуществлена в проблематике интеллектного управления динамическими системами и автоматического синтеза теорем математической теории систем.

Библиографическая ссылка: 

Васильев С.Н. Исчисление позитивно-образованных формул и применения / Труды Международной конференции «Философия, математика, лингвистика: аспекты взаимодействия» (Санкт-Петербург, 2009). СПб.: СпБГУ, 2009. С. 26-32.