Навчальні та наукові видання видавництва СумДУ
Permanent URI for this collectionhttps://devessuir.sumdu.edu.ua/handle/123456789/180
Browse
Search Results
Item Теорія програмування(Видавництво СумДУ, 2008) Бабій, Михайло Семенович; Чекалов, Олександр Петрович; Babii, Mykhailo Semenovych; Бабий, Михаил Семенович; Chekalov, Oleksandr Petrovych; Чекалов, Александр ПетровичНавчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами. Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823