Теоретическое программирование - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Теоретическое программирование, слайд №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)...;}; Специальные символы: старт, стоп, (, ), := и т. д.

Слайд 6

Описание слайда:

Множество операторов: Множество операторов: 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

Слайд 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, иначе

Слайд 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

Слайд 10

Описание слайда:

Базис РС включает: Базис РС включает: 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).

Слайд 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))).

Слайд 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.

Слайд 14

Описание слайда:

Трансляция схем программ Теорема Маккарти: Класс стандартных схем транслируем в класс рекурсивных схем. Алгоритм трансляции: Точки сечения 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);

Слайд 16

Описание слайда:

Пример 1: Пример 1:

Слайд 17

Описание слайда:

Слайд 18

Описание слайда:

Пример 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))). Теорема (Патерсон-Хьюит). Класс линейных унарных рекурсивных схем транслируем в класс стандартных схем.

Слайд 20

Описание слайда:

Схемы с процедурами Главная схема 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) в противном случае.

Слайд 22

Описание слайда:

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

Слайд 23

Описание слайда:

Слайд 24

Описание слайда:

Слайд 25

Описание слайда:

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

Слайд 26

Описание слайда:

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

Слайд 27

Описание слайда:

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

Слайд 28

Описание слайда:

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