Теорія програмування
Electronic Archive of Sumy State University
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Теорія програмування
|
|
| Creator |
Бабій, Михайло Семенович
Чекалов, Олександр Петрович Babii, Mykhailo Semenovych Бабий, Михаил Семенович Chekalov, Oleksandr Petrovych Чекалов, Александр Петрович |
|
| Subject |
програмування
программирование |
|
| Description |
Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами. Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики. |
|
| Publisher |
Видавництво СумДУ
|
|
| Date |
2010-12-21T06:42:29Z
2010-12-21T06:42:29Z 2008 |
|
| Type |
Schoolbook
|
|
| Identifier |
Бабій, М.С. Теорія програмування [Текст] : навч. посіб. / М.С. Бабій, О.П. Чекалов. - Суми : СумДУ, 2008. - 181 с. + Гриф МОН
http://essuir.sumdu.edu.ua/handle/123456789/823 |
|
| Language |
uk
|
|