Программирование в Логике. Чанышев О.Г. - 1 стр.

UptoLike

Составители: 

Министерство образования и науки Российской Федерации
Омский государственный университет им. Ф.М. Достоевского
О.Г. Чанышев
ПРОграммирование в ЛОГике
Учебное пособие
Изд-во Омск
ОмГУ 2004
2
УДК 519
ББК 32.973 – 018я73
Ч 188
Рекомендовано к изданию в качестве учебного пособия
редакционно-издательским советом ОмГУ 5 октября 2004 г.,
протокол 4
Рецензенты:
д-р физ.-мат. наук, проф., зав. кафедрой геометрии ОмГПУ А.Н. Зубков;
д-р техн. наук, проф. В.А. Филимонов
Чанышев О.Г.
Ч 188 ПРОграммирование в ЛОГике: Учеб. пособие. – Омск:
Изд-во ОмГУ, 2004. – 64 с.
ISBN 5-7779-0510-3
Учебное пособие обобщает опыт автора по проведению лек-
ций по теме
"Введение в искусственный интеллект" и "Автомати-
ческий анализ текста
" на математическом факультете Омского го-
сударственного университета в 2000–2004 гг. в части, касающей-
ся программирования на языке PDC Prolog. Представлены исто-
рия языка, разделы программы, основные структуры данных и ме-
тоды программирования. Изложение сопровождается большим
количеством примеров. Полностью приведен исходный текст,
разработанной автором в учебных целях «игрушечной» эксперт-
ной системы, позволяющей пользователю формулировать
вопро-
сы на естественном русском языке.
Пособие написано с учетом Государственных образовательных
стандартов высшего профессионального образования 431 ен/бак
по направлению 511800 «Математика. Компьютерные науки» и
199 ен/сп по специальности «Прикладная математика и инфор-
матика».
Для студентов математического факультета.
УДК 519
ББК 32.973 – 018я73
© Чанышев О.Г., 2004
ISBN 5-7779-0510-3 © Омский госуниверситет, 2004
 Министерство образования и науки Российской Федерации     УДК 519
                                                           ББК 32.973 – 018я73
Омский государственный университет им. Ф.М. Достоевского     Ч 188

                                                                   Рекомендовано к изданию в качестве учебного пособия
                                                                редакционно-издательским советом ОмГУ 5 октября 2004 г.,
                                                                                      протокол № 4

                                                                                          Рецензенты:
                                                           д-р физ.-мат. наук, проф., зав. кафедрой геометрии ОмГПУ А.Н. Зубков;
                                                                            д-р техн. наук, проф. В.А. Филимонов

                                                                 Чанышев О.Г.
                                                           Ч 188   ПРОграммирование в ЛОГике: Учеб. пособие. – Омск:
                                                                 Изд-во ОмГУ, 2004. – 64 с.
                                                                     ISBN 5-7779-0510-3
                    О.Г. Чанышев
                                                                     Учебное пособие обобщает опыт автора по проведению лек-
                                                                  ций по теме "Введение в искусственный интеллект" и "Автомати-
           ПРОграммирование в ЛОГике
                                                                  ческий анализ текста" на математическом факультете Омского го-
                                                                  сударственного университета в 2000–2004 гг. в части, касающей-
                    Учебное пособие                               ся программирования на языке PDC Prolog. Представлены исто-
                                                                  рия языка, разделы программы, основные структуры данных и ме-
                                                                  тоды программирования. Изложение сопровождается большим
                                                                  количеством примеров. Полностью приведен исходный текст,
                                                                  разработанной автором в учебных целях «игрушечной» эксперт-
                                                                  ной системы, позволяющей пользователю формулировать вопро-
                                                                  сы на естественном русском языке.
                                                                     Пособие написано с учетом Государственных образовательных
                                                                  стандартов высшего профессионального образования 431 ен/бак
                                                                  по направлению 511800 «Математика. Компьютерные науки» и
                                                                  199 ен/сп по специальности «Прикладная математика и инфор-
                                                                  матика».
                                                                     Для студентов математического факультета.
                                                                                                                       УДК 519
                                                                                                            ББК 32.973 – 018я73


Изд-во                                             Омск                                           © Чанышев О.Г., 2004
ОмГУ                                               2004    ISBN 5-7779-0510-3                     © Омский госуниверситет, 2004

                                                                                            2