Пошук академічних текстів

Інформація × Реєстраційний номер 2108U002078, Матеріали видань та локальних репозитаріїв Категорія Schoolbook Назва роботи Теорія програмування Автор Дата публікації 01-01-2008 Постачальник інформації Сумський державний університет Першоджерело http://essuir.sumdu.edu.ua/handle/123456789/823 Видання Видавництво СумДУ Опис Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами. Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики. При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823 Додано в НРАТ 2025-05-13 Закрити