🗊Презентация Теоретическое программирование

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Теоретическое программирование, слайд №1Теоретическое программирование, слайд №2Теоретическое программирование, слайд №3Теоретическое программирование, слайд №4Теоретическое программирование, слайд №5Теоретическое программирование, слайд №6Теоретическое программирование, слайд №7Теоретическое программирование, слайд №8Теоретическое программирование, слайд №9Теоретическое программирование, слайд №10Теоретическое программирование, слайд №11Теоретическое программирование, слайд №12Теоретическое программирование, слайд №13Теоретическое программирование, слайд №14Теоретическое программирование, слайд №15Теоретическое программирование, слайд №16Теоретическое программирование, слайд №17Теоретическое программирование, слайд №18Теоретическое программирование, слайд №19Теоретическое программирование, слайд №20Теоретическое программирование, слайд №21Теоретическое программирование, слайд №22Теоретическое программирование, слайд №23Теоретическое программирование, слайд №24Теоретическое программирование, слайд №25Теоретическое программирование, слайд №26Теоретическое программирование, слайд №27Теоретическое программирование, слайд №28Теоретическое программирование, слайд №29
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Теоретическое программирование. Доклад-сообщение содержит 29 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1


Теоретическое программирование Математические основы программирования; Теория схем программ; Семантическая теория программ; Теория параллельных вычислений; Прикладные задачи теоретического программирования.
Описание слайда:
Теоретическое программирование Математические основы программирования; Теория схем программ; Семантическая теория программ; Теория параллельных вычислений; Прикладные задачи теоретического программирования.

Слайд 2


Схемы программ Программа – способ задания алгоритма. Свойства программ: является конструктивным объектом; работает конечное время; характерны массовость и однозначность.
Описание слайда:
Схемы программ Программа – способ задания алгоритма. Свойства программ: является конструктивным объектом; работает конечное время; характерны массовость и однозначность.

Слайд 3


Схемы программ – математические модели программ. Схемы программ – математические модели программ. Свойства схем программ: позволяют изучать свойства широких классов программ; сохраняют все свойства и особенности рассматриваемого класса программ; позволяют игнорировать несущественные свойства; изобразительно подобны программе.
Описание слайда:
Схемы программ – математические модели программ. Схемы программ – математические модели программ. Свойства схем программ: позволяют изучать свойства широких классов программ; сохраняют все свойства и особенности рассматриваемого класса программ; позволяют игнорировать несущественные свойства; изобразительно подобны программе.

Слайд 4


Стандартные схемы программ Класс стандартных схем включает: константы; простые переменные; выражения; операторы присваивания; условные операторы; метки; переходы на метки. Класс стандартных схем характеризуется: базисом класса; структурой схем.
Описание слайда:
Стандартные схемы программ Класс стандартных схем включает: константы; простые переменные; выражения; операторы присваивания; условные операторы; метки; переходы на метки. Класс стандартных схем характеризуется: базисом класса; структурой схем.

Слайд 5


Базис В класса стандартных схем состоит: Базис В класса стандартных схем состоит: 4 счетных множества символов; множество операторов. Множества символов: Переменные: Х={х1, х2...хn; у, у1 у2...; z, z1, z2...}; Функциональные символы: F={f(0), f(1), f(2)...; g(0), g(1), g(2)...; h(0), h(1), h(2)...}; Предикатные символы: Р={р(0), р(1), р(2)...; q(0), q(1), q(2)...;}; Специальные символы: старт, стоп, (, ), := и т. д.
Описание слайда:
Базис В класса стандартных схем состоит: Базис В класса стандартных схем состоит: 4 счетных множества символов; множество операторов. Множества символов: Переменные: Х={х1, х2...хn; у, у1 у2...; z, z1, z2...}; Функциональные символы: F={f(0), f(1), f(2)...; g(0), g(1), g(2)...; h(0), h(1), h(2)...}; Предикатные символы: Р={р(0), р(1), р(2)...; q(0), q(1), q(2)...;}; Специальные символы: старт, стоп, (, ), := и т. д.

Слайд 6


Множество операторов: Множество операторов: 1) начальный оператор: старт(х1, х2...хk); 2) заключительный оператор: стоп (t1, t2...tn); 3) оператор присваивания: х:=t; 4) условный оператор (тест); 5) оператор петли.
Описание слайда:
Множество операторов: Множество операторов: 1) начальный оператор: старт(х1, х2...хk); 2) заключительный оператор: стоп (t1, t2...tn); 3) оператор присваивания: х:=t; 4) условный оператор (тест); 5) оператор петли.

Слайд 7


Программа: Программа: void main(void) { int x, y; cin>>x; y=1; while (x>0) { y=x*y; x--; } cout<<y; }
Описание слайда:
Программа: Программа: void main(void) { int x, y; cin>>x; y=1; while (x>0) { y=x*y; x--; } cout<<y; }

Слайд 8


Интерпретация: Интерпретация: область интерпретации D - множество целых неотрицательных чисел; I(x)=4; I(y)=0; I(a)=1; I(g)=G, где G(d1,d2)= d1*d2; I(h)=H, где H(d)= d-1; I(p)=P, где P - предикат 0, если d>0 P(d)= 1, иначе
Описание слайда:
Интерпретация: Интерпретация: область интерпретации D - множество целых неотрицательных чисел; I(x)=4; I(y)=0; I(a)=1; I(g)=G, где G(d1,d2)= d1*d2; I(h)=H, где H(d)= d-1; I(p)=P, где P - предикат 0, если d>0 P(d)= 1, иначе

Слайд 9


Рекурсивные схемы FACT(x), FACT(x)=если х=0 то 1 иначе x*FACT(x-1). FACT(4)=если 4=0 то 1 иначе 4*FACT(4-1)= =4*FACT(3)=4*(если 3=0 то 1 иначе 3*FACT(3-1))= =4*3*FACT(2)=12*(если 2=0 то 1 иначе 2*FACT(2-1))= =12*2*FACT(1)=24*(если 1=0 то 1 иначе 1*FACT(1-1))= =24*1*FACT(0)=24*(если 0=0 то 1 иначе 0*FACT(0-1))=24
Описание слайда:
Рекурсивные схемы FACT(x), FACT(x)=если х=0 то 1 иначе x*FACT(x-1). FACT(4)=если 4=0 то 1 иначе 4*FACT(4-1)= =4*FACT(3)=4*(если 3=0 то 1 иначе 3*FACT(3-1))= =4*3*FACT(2)=12*(если 2=0 то 1 иначе 2*FACT(2-1))= =12*2*FACT(1)=24*(если 1=0 то 1 иначе 1*FACT(1-1))= =24*1*FACT(0)=24*(если 0=0 то 1 иначе 0*FACT(0-1))=24

Слайд 10


Базис РС включает: Базис РС включает: 4 счетных множества символов: Переменные; Функциональные символы; Предикатные символы; Специальные символы. Множество логических выражений. Множество термов. Множество функциональных символов: Множество базовых функциональных символов (f(1), g(2)); Множество определяемых функциональных символов (F(1), G(2)).
Описание слайда:
Базис РС включает: Базис РС включает: 4 счетных множества символов: Переменные; Функциональные символы; Предикатные символы; Специальные символы. Множество логических выражений. Множество термов. Множество функциональных символов: Множество базовых функциональных символов (f(1), g(2)); Множество определяемых функциональных символов (F(1), G(2)).

Слайд 11


Термы: Термы: 1. Простые термы Базовые термы; Вызовы (F(n)(t1, t2, …, tn)). 2. Условные термы: если π то t1 иначе t2. Пример: базовые термы - f(x, g(x, y)); h(h(a)); вызовы - F(x); H(H(a)); F(H(x), f(x,y)); условный терм если p(x, y) то h(h(a)) иначе F(x).
Описание слайда:
Термы: Термы: 1. Простые термы Базовые термы; Вызовы (F(n)(t1, t2, …, tn)). 2. Условные термы: если π то t1 иначе t2. Пример: базовые термы - f(x, g(x, y)); h(h(a)); вызовы - F(x); H(H(a)); F(H(x), f(x,y)); условный терм если p(x, y) то h(h(a)) иначе F(x).

Слайд 12


Рекурсивное уравнение: Рекурсивное уравнение: F(n)(x1, x2, …, xn)=t(x1, x2, …, xn) Рекурсивная схема: (t, M) Рекурсивная программа: (RS, I) Примеры РС: 1) RS1: F(x), F(x)=если p(x) то a иначе g(x, F(h(x))). 2) RS2: A(x, y), A(x, y)=если p(x) то f(x) иначе B(x, y), B(x, y)=если p(y) то A(g(x), a) иначе C(x, y); C(x, y)=A(g(x), A(x, g(y))). 3) RS3: F(x), F(x)=если p(x) то x иначе f(F(g(x)), F(h(x))).
Описание слайда:
Рекурсивное уравнение: Рекурсивное уравнение: F(n)(x1, x2, …, xn)=t(x1, x2, …, xn) Рекурсивная схема: (t, M) Рекурсивная программа: (RS, I) Примеры РС: 1) RS1: F(x), F(x)=если p(x) то a иначе g(x, F(h(x))). 2) RS2: A(x, y), A(x, y)=если p(x) то f(x) иначе B(x, y), B(x, y)=если p(y) то A(g(x), a) иначе C(x, y); C(x, y)=A(g(x), A(x, g(y))). 3) RS3: F(x), F(x)=если p(x) то x иначе f(F(g(x)), F(h(x))).

Слайд 13


Протокол выполнения рекурсивной программы Протокол выполнения рекурсивной программы RS1: F(x), F(x)=если p(x) то a иначе g(x, F(h(x))). I(x)=4; I(a)=1; I(g)=G, где G(d1,d2)= d1*d2; I(h)=H, где H(d)= d-1; I(p)=P, где P (d)=1, если d=0, иначе P (d)=0.
Описание слайда:
Протокол выполнения рекурсивной программы Протокол выполнения рекурсивной программы RS1: F(x), F(x)=если p(x) то a иначе g(x, F(h(x))). I(x)=4; I(a)=1; I(g)=G, где G(d1,d2)= d1*d2; I(h)=H, где H(d)= d-1; I(p)=P, где P (d)=1, если d=0, иначе P (d)=0.

Слайд 14


Трансляция схем программ Теорема Маккарти: Класс стандартных схем транслируем в класс рекурсивных схем. Алгоритм трансляции: Точки сечения i  Fi(x, y, …, z); старт  F1(x, y, …, z); стоп(х)  x; Граф рассекается по точкам сечения; Для каждого фрагмента строится рекурсивное уравнение: Fi(x, y, …, z)=…
Описание слайда:
Трансляция схем программ Теорема Маккарти: Класс стандартных схем транслируем в класс рекурсивных схем. Алгоритм трансляции: Точки сечения i  Fi(x, y, …, z); старт  F1(x, y, …, z); стоп(х)  x; Граф рассекается по точкам сечения; Для каждого фрагмента строится рекурсивное уравнение: Fi(x, y, …, z)=…

Слайд 15


Fi(x, y, …, z) = t(x, y, …, z); Fi(x, y, …, z) = t(x, y, …, z);
Описание слайда:
Fi(x, y, …, z) = t(x, y, …, z); Fi(x, y, …, z) = t(x, y, …, z);

Слайд 16


Пример 1: Пример 1:
Описание слайда:
Пример 1: Пример 1:

Слайд 17


Теоретическое программирование, слайд №17
Описание слайда:

Слайд 18


Пример 2: Пример 2:
Описание слайда:
Пример 2: Пример 2:

Слайд 19


Линейные унарные рекурсивные схемы F(x), F(x) = если p(x) то f(x) иначе F(F(g(x))). F(a), F(x) = если p(x) то x иначе G(x), G(x) = если q(x) то f(F(f(x))) иначе g(F(g(x))). Теорема (Патерсон-Хьюит). Класс линейных унарных рекурсивных схем транслируем в класс стандартных схем.
Описание слайда:
Линейные унарные рекурсивные схемы F(x), F(x) = если p(x) то f(x) иначе F(F(g(x))). F(a), F(x) = если p(x) то x иначе G(x), G(x) = если q(x) то f(F(f(x))) иначе g(F(g(x))). Теорема (Патерсон-Хьюит). Класс линейных унарных рекурсивных схем транслируем в класс стандартных схем.

Слайд 20


Схемы с процедурами Главная схема x=F(n)(y1, y2, …, yn) Множество схем процедур.
Описание слайда:
Схемы с процедурами Главная схема x=F(n)(y1, y2, …, yn) Множество схем процедур.

Слайд 21


Трансляция рекурсивных схем в схемы с процедурами (старт (y1, y2, …, yn), 1: y:=t (y1, y2, …, yn), 2: стоп (y)). Fi(x1, …, xn) = если p(xi, …, xn) то ti1 иначе ti0 Fi(x1, …, xn) = (старт, 1: если p(xi1, …, xil) то 2 иначе k, 2: S(v, ti1) на m, k: S(v, ti0), m: стоп (v)). S(v, t) : а) если t=х, то S(v, t) => v:=x; б) если t=(n) (t1, …,tn), то S(v, t) = 1, 2, …, n, v:=(n) (z1, …, zn),  zi:=x, если ti – переменная х, i =  S(zi, ti) в противном случае.
Описание слайда:
Трансляция рекурсивных схем в схемы с процедурами (старт (y1, y2, …, yn), 1: y:=t (y1, y2, …, yn), 2: стоп (y)). Fi(x1, …, xn) = если p(xi, …, xn) то ti1 иначе ti0 Fi(x1, …, xn) = (старт, 1: если p(xi1, …, xil) то 2 иначе k, 2: S(v, ti1) на m, k: S(v, ti0), m: стоп (v)). S(v, t) : а) если t=х, то S(v, t) => v:=x; б) если t=(n) (t1, …,tn), то S(v, t) = 1, 2, …, n, v:=(n) (z1, …, zn),  zi:=x, если ti – переменная х, i =  S(zi, ti) в противном случае.

Слайд 22


Рекурсивная схема: Рекурсивная схема: S: F(x), F(x)=если p(x) то x иначе f(F(g(x)), F(h(x))) Схема с процедурами:
Описание слайда:
Рекурсивная схема: Рекурсивная схема: S: F(x), F(x)=если p(x) то x иначе f(F(g(x)), F(h(x))) Схема с процедурами:

Слайд 23


Теоретическое программирование, слайд №23
Описание слайда:

Слайд 24


Теоретическое программирование, слайд №24
Описание слайда:

Слайд 25


Обогащенные схемы класс счетчиковых схем; интерпретированные операторы: c:=c+1; c:=c-1; c=0; c1:=c2;
Описание слайда:
Обогащенные схемы класс счетчиковых схем; интерпретированные операторы: c:=c+1; c:=c-1; c=0; c1:=c2;

Слайд 26


класс магазинных схем; интерпретированные операторы: M:=x; x:=M; M=Ø; класс магазинных схем; интерпретированные операторы: M:=x; x:=M; M=Ø;
Описание слайда:
класс магазинных схем; интерпретированные операторы: M:=x; x:=M; M=Ø; класс магазинных схем; интерпретированные операторы: M:=x; x:=M; M=Ø;

Слайд 27


Трансляция обогащенных схем: Трансляция обогащенных схем:
Описание слайда:
Трансляция обогащенных схем: Трансляция обогащенных схем:

Слайд 28


Структурированные схемы (о0, о1, …, оn) Специальные символы: если, то, иначе, пока, цикл, конец. Три типа схемных операторов: простой оператор; условный оператор: если  то 1 иначе 0 конец. оператор цикла: пока  цикл  конец до  цикл  конец.
Описание слайда:
Структурированные схемы (о0, о1, …, оn) Специальные символы: если, то, иначе, пока, цикл, конец. Три типа схемных операторов: простой оператор; условный оператор: если  то 1 иначе 0 конец. оператор цикла: пока  цикл  конец до  цикл  конец.

Слайд 29


Теоретическое программирование, слайд №29
Описание слайда:

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию