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

7333

Автор(ы):

Васильев С. Н. (ИПУ РАН, Лаборатория 38)

Автор(ов):

1

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

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

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

Название:

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

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

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

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

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

Город:

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

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

СпБГУ

Год издания:

2009

Страницы:

26-32

Аннотация

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

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

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

Анисимов В. Н. (НИИ онкологии им. Н.Н. Петрова)

Публикации

Last name:

Анисимов

First name:

Владимир

Patronymic:

Николаевич

Место работы

Organization:

НИИ онкологии им. Н.Н. Петрова

City:

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

Якубович В. А. (СПбГУ)

Публикации

Last name:

Якубович

First name:

Владимир

Patronymic:

Андреевич

Квалификация

Degree:

доктор физико-математических наук

Rank:

член-корреспондент РАН

Место работы

Organization:

СПбГУ

City:

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

Position:

заведующий кафедрой

Phone:

+7 812 428-41-48

Чурилов А. Н. (СПбГМТУ)

Публикации

Last name:

Чурилов

First name:

Александр

Patronymic:

Николаевич

Квалификация

Degree:

доктор физико-математических наук

Rank:

профессор

Место работы

Organization:

СПбГМТУ

City:

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

E-mail:

Харитонов В. Л. (СПбГУ)

Публикации

Last name:

Харитонов

First name:

Владимир

Patronymic:

Леонидович

Квалификация

Degree:

доктор физико-математических наук

Rank:

профессор

Место работы

Organization:

СПбГУ

City:

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

Phone:

+7 812 428-48-68

Терехов В. А. (СПбГЭТУ)

Публикации

Last name:

Терехов

First name:

Валерий

Patronymic:

Александрович

Квалификация

Degree:

доктор технических наук

Rank:

профессор

Место работы

Organization:

СПбГЭТУ

City:

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

E-mail:

Пешехонов В. Г. (ФГУП ЦНИИ "Электроприбор")

Публикации

Last name:

Пешехонов

First name:

Владимир

Patronymic:

Григорьевич

Квалификация

Degree:

доктор технических наук

Rank:

академик РАН

Место работы

Organization:

ФГУП ЦНИИ "Электроприбор"

City:

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

Position:

директор

Phone:

+7 812 232-59-15

E-mail:

office@eprib.ru

Овсянников Д. А. (НИИ ВиПМ СПбГУ)

Публикации

Last name:

Овсянников

First name:

Дмитрий

Patronymic:

Александрович

Квалификация

Degree:

доктор технических наук

Rank:

профессор

Место работы

Organization:

НИИ ВиПМ СПбГУ

City:

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

Position:

директор

Phone:

+7 812 428-71-79

E-mail:

dovs@apep.apmath.spbu.ru

Небылов А. В. (СПбГУАП)

Публикации

Last name:

Небылов

First name:

Александр

Patronymic:

Владимирович

Квалификация

Degree:

доктор технических наук

Rank:

профессор

Место работы

Organization:

СПбГУАП

City:

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

Phone:

+7 812 313-70-55

E-mail:

nebylov@aanet.ru

Мироновский Л. А. (СПбГУАП)

Публикации

Last name:

Мироновский

First name:

Леонид

Patronymic:

Алексеевич

Квалификация

Degree:

доктор технических наук

Rank:

профессор

Место работы

Organization:

СПбГУАП

City:

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

Position:

заведующий кафедрой

Phone:

+7 812 494-70-44

E-mail:

Mironovsky@dept44.aanet.ru

Pages