Семантика на езиците за програмиране

Александра Соскова, Стела Николова

За особеностите на екземпляра

Състояние:: Добро
Забележка:: Незначителна забележка по корицата и някои страници. Ползва се без проблем.
Наличност:: 1 бр. - в това състояние и цена в този щанд. Други екземпляри от книгата

За изданието

Издателство:: Софтех
Град на издаване:: София
Година:: 2008 г.
Език:: Български
Страници:: 172
Корици:: Меки
Поредици и библиотеки:: Университетски курс
Категория:: Компютри, софтуер, интернет

Ръководството съдържа задачи върху основните раздели на курса "Семантика на езиците за програмиране", който се чете на студентите от Факултета по математика и информатика на СУ "Св. Климент Охридски". Всеки параграф започва с подробно изложение на теоретичния материал, необходим за решаване на задачите в него, което прави книгата независима от други учебни пособия. Голяма част от задачите имат пълни решения или подробни упътвания, а останалите - отговори. Съдържание Предговор о Първа глава. ВЕРИФИКАЦИЯ НА ИТЕРАТИВНИ ПРОГРАМИ § 1,1. Принцип на структурната, индукция в множества с. фундирака наредба 7 § 1.2. Верификация на блок-схеми с един цикъл 17 § 1.3. Метод на. индуктивните твърдения за. доказателство на частична коректност на блок-схеми 29 § 1.4. Метод на Хоар за доказателство на частична коректност на while-~пpoгpaми 50 Втора глава КО М П А КТ И И О П Е Р А Т О Р И § 2.1. Частични функции и операции с тях 64 § 2.2. Компактни оператори 67 § 2.3. Индукционно правило на Скот ... 83 Трета глава ОБЛАСТИ НА СКОТ §3.1. Определение и примери за области на Скот 93 § 3.2. Непрекъснати изображения в области на Скот 106 § 3.3. Теорема за най-малката неподвижна точка 120 Четвърта глава. Р Е КУ Р С И В Н И П Р О Г Р А М И § 4.1. Денотационна семантика на. рекурсивните програми с предаване на параметрите по стойност 132 § 4.2. Денотационна семантика на рекурсивните програми с предаване на параметрите по име 142 § 4.3. Правило на Скот за доказване на свойства на рекурсивни програми 153 Литература 171

Ключови думи: Семантика на езиците за програмиране, Александра Соскова, Стела Николова