Search academic texts

Information × Registration Number 2108U002078, Article popup.category Schoolbook Title popup.author popup.publication 01-01-2008 popup.source_user Сумський державний університет popup.source http://essuir.sumdu.edu.ua/handle/123456789/823 popup.publisher Видавництво СумДУ Description Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами. Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823 popup.nrat_date 2025-05-13 Close