Теорія програмування

Бабій, Михайло Семенович; Чекалов, Олександр Петрович

Please use this identifier to cite or link to this item: http://essuir.sumdu.edu.ua/handle/123456789/823

Or use following links to share this resource in social networks: Recommend this item

Title	Теорія програмування
Authors	Babii, Mykhailo Semenovych Chekalov, Oleksandr Petrovych
ORCID	http://orcid.org/0000-0002-2925-857X
Keywords	програмування программирование
Type	Schoolbook
Date of Issue	2008
URI	http://essuir.sumdu.edu.ua/handle/123456789/823
Publisher	Видавництво СумДУ
License	Copyright not evaluated
Citation	Бабій, М.С. Теорія програмування [Текст] : навч. посіб. / М.С. Бабій, О.П. Чекалов. - Суми : СумДУ, 2008. - 181 с. + Гриф МОН
Abstract	Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами. Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823
Appears in Collections:	Навчальні та наукові видання видавництва СумДУ