Теорія програмування
No Thumbnail Available
Files
Date
2008
Journal Title
Journal ISSN
Volume Title
Publisher
Видавництво СумДУ
Schoolbook
Date of Defense
Scientific Director
Speciality
Date of Presentation
Abstract
Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами.
Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики.
При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823
Keywords
програмування, программирование
Citation
Бабій, М.С. Теорія програмування [Текст] : навч. посіб. / М.С. Бабій, О.П. Чекалов. - Суми : СумДУ, 2008. - 181 с. + Гриф МОН