Все разделы / Теория вычислительных процессов /


Страницу Назад
Поискать другие аналоги этой работы

За деньгиЗа деньги (300 руб.)

Лабораторная работа № 2. Предмет : «Теория вычислительных процессов»

Дата закачки: 21 Апреля 2013
Продавец: xtrail
    Посмотреть другие работы этого продавца

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

Описание:
Задание 1. Функции: F(n), G(n) определены с помощью операционной семантики равенствами:
F(0)=1, G(0)=2, F(n)=G(n-1), G(n)=F(n-1) + G(n-1)
Найти значения F(3) и G(3).

Задание 2. Формальные языки Е и Т определены над алфавитом {а, *, &, <, >} с помощью денотационной семантики равенствами
и
Какие из следующих строк:
a) *а&*а*&а*;
b) *а&<а&а*>;
c) *<*а*&а>&<*а*>*
принадлежат языку Е и какие не принадлежат.

Задание 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] из одних нулей

Коментарии: Отличная работа!
ПОВТиАС
Подходит для всех вариантов!

Размер файла: 35 Кбайт
Фаил: Microsoft Word (.doc)

-------------------
Обратите внимание, что преподователи часто переставляют варианты и меняют исходные данные!
Если вы хотите что бы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку.
Имейте ввиду, что согласно гарантии возврата средств, мы не возвращем деньги если вариант окажется не тот.
-------------------

 Скачать Скачать

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

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


Сдай работу играючи!

Рекомендуем вам также биржу исполнителей. Здесь выполнят вашу работу без посредников.
Рассчитайте предварительную цену за свой заказ.



Страницу Назад

  Cодержание / Теория вычислительных процессов / Лабораторная работа № 2. Предмет : «Теория вычислительных процессов»

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт




Сайт помощи студентам, без посредников!