35

Теория вычислительных процессов. Лабораторная работа №2

ID: 150934
Дата закачки: 24 Февраля 2015
Продавец: zhekaersh (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа Лабораторная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

Описание:
Тема: Семантическая теория программ.
Цель работы: Изучить виды семантик. Научиться составлять семантику программы.
Рекомендации по выполнению работы
1. проработать материал лекции 6-8
2. При оформлении выполненного пункта задания не руководствуйтесь пословицей “краткость- сестра таланта”, расписывайте свои аргументы подробнее, делайте ссылки на страницы лекционного материала
Задания
1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
F(0)=I, G(0)=2, F(n)=G(n-I), G(n)=F(n-l) + G(n-I).
Найти значения F(3) и G(3).
2. Формальные языки Е и Т определены над алфавитом {а, *, &, <, >} с помощью денотационной семантики равенствами
Е = Т U * Т U Е & Т и Т= а U а* U <Е>.
Какие из следующих строк *а&*а*&а*; *а&<а&а*>; *<*а*&а>&<*а*>* принадлежат языку Е и какие не принадлежат.
3. Написать программу, используя аксиоматическую стратегию построения и проверки цикла. Дан массив B[0:n-1], n > 0. Присвоить переменной х наименьшее значение из B. Если наименьшее значение встречается в B более одного раза, выбрать любой из них.
Предусловие Q: n >0;
Постусловие R: x<= B[О: n-1] AND (j: 0<=j < n х = B[j]);
Инвариант Р: 0<=j<=n АND х<=B[0:n-l] AND (j :i<=j<n х=B[j]);
Ограничение t: i.
4. Написать программу, используя различные методы построение инвариантов циклов. Дан массив B[0:n-1], n > 0. Определить, состоит ли B[0: n-l] из одних нулей.


Комментарии: Уважаемый слушатель, дистанционного обучения,
Оценена Ваша работа по предмету: Теория вычислительных процессов
Вид работы: Лабораторная работа 2
Оценка:Зачет
Дата оценки: 06.05.2013

Размер файла: 62 Кбайт
Фаил: (.doc)
-------------------
Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные!
Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот.
-------------------

Скачать

Добавить в корзину

Занесено в корзину

        Коментариев: 0

Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

Теория сложности вычислительных процессов и структур. Лабораторная работа №1,2,3. Вариант №0, 10.
Теория сложности вычислительных процессов и структур. ВАРИАНТ №5. Комплект лабораторных работ № 1-5.
Лабораторные работы №№1-3 по дисциплине: Теория сложности вычислительных процессов и структур. Вариант №1
Лабораторные работы №№1-3 по дисциплине: Теория сложности вычислительных процессов и структур. Вариант №11
Лабораторные работы №1,2,3 по дисциплине: Теория сложностей вычислительных процессов и структур. Вариант №2 (2019 год)
Теория сложности вычислительных процессов и структур. Лабораторные работы №1-5. Вариант №9
Лабораторные работы №1,2,3 по дисциплине: Теория сложностей вычислительных процессов и структур. Вариант №9 (2019 год)
Ещё искать по базе с такими же ключевыми словами.