- Элементы теоретического программирования

Презентация "Элементы теоретического программирования" по информатике – проект, доклад

Слайд 1
Слайд 2
Слайд 3
Слайд 4
Слайд 5
Слайд 6
Слайд 7
Слайд 8
Слайд 9
Слайд 10
Слайд 11
Слайд 12
Слайд 13
Слайд 14
Слайд 15
Слайд 16
Слайд 17
Слайд 18
Слайд 19
Слайд 20
Слайд 21
Слайд 22

Презентацию на тему "Элементы теоретического программирования" можно скачать абсолютно бесплатно на нашем сайте. Предмет проекта: Информатика. Красочные слайды и иллюстрации помогут вам заинтересовать своих одноклассников или аудиторию. Для просмотра содержимого воспользуйтесь плеером, или если вы хотите скачать доклад - нажмите на соответствующий текст под плеером. Презентация содержит 22 слайд(ов).

Слайды презентации

Элементы теоретического программирования. Машина Тьюринга – математическое понятие алгоритма
Слайд 1

Элементы теоретического программирования

Машина Тьюринга – математическое понятие алгоритма

Каждой паре вида (si, qi), где siА и qiQ\{q0}, соответствует тройка (sj, t, qj), где sjA, tT и qjQ (q0 не участвует в парах (si, qi), так как паре (si, q0) уже ничего не соответствует, машина останавливается в заключительном состоянии q0).
Слайд 2

Каждой паре вида (si, qi), где siА и qiQ\{q0}, соответствует тройка (sj, t, qj), где sjA, tT и qjQ (q0 не участвует в парах (si, qi), так как паре (si, q0) уже ничего не соответствует, машина останавливается в заключительном состоянии q0).

Множество всех пар вида (si, qi), где siA и qiQ\{q0}, называется произведением множеств А и Q\{q0) и обозначается АQ\{q0). Аналогично, множество всех троек вида (sj, t, qj), где sjA, tT и qjQ, называется произведением множеств А, Т и Q и обозначается АТQ
Слайд 3

Множество всех пар вида (si, qi), где siA и qiQ\{q0}, называется произведением множеств А и Q\{q0) и обозначается АQ\{q0). Аналогично, множество всех троек вида (sj, t, qj), где sjA, tT и qjQ, называется произведением множеств А, Т и Q и обозначается АТQ

Таким образом, программа машины Тьюринга представляет собой функцию с областью определения АQ\{q0}, принимающую значения из множества АТQ, или отображение первого множества во второе: АQ\{q0}ATQ
Слайд 4

Таким образом, программа машины Тьюринга представляет собой функцию с областью определения АQ\{q0}, принимающую значения из множества АТQ, или отображение первого множества во второе: АQ\{q0}ATQ

Машиной Тьюринга (МТ) называется система вида (A, s0, Q, q1, q0, T, ), где А  конечное множество  алфавит МТ, s0A и называется пустой буквой алфавита, Q  конечное множество, элементы которого называются состояниями МТ (Q  множество состояний МТ), q1Q, q1  начальное состояние МТ, q0Q, q0  п
Слайд 5

Машиной Тьюринга (МТ) называется система вида (A, s0, Q, q1, q0, T, ), где А  конечное множество  алфавит МТ, s0A и называется пустой буквой алфавита, Q  конечное множество, элементы которого называются состояниями МТ (Q  множество состояний МТ), q1Q, q1  начальное состояние МТ, q0Q, q0  пассивное или заключительное состояние МТ, Т={Л, Н, П}  множество сдвигов МТ,  :АQ\{q0}ATQ,   программа МТ.

Машина Тьюринга перерабатывает слова в алфавите машины согласно программе этой машины.
Слайд 6

Машина Тьюринга перерабатывает слова в алфавите машины согласно программе этой машины.

Какую бы МТ, имеющую алфавит A={s0, s1, ..., sk}, состояния q0, q1, ..., qp и программу , мы ни взяли, можем считать, что имеется алгоритм, исходными объектами, промежуточными и окончательными результатами которого являются слова в алфавите А. Предписанием, задающим этот алгоритм, является программ
Слайд 7

Какую бы МТ, имеющую алфавит A={s0, s1, ..., sk}, состояния q0, q1, ..., qp и программу , мы ни взяли, можем считать, что имеется алгоритм, исходными объектами, промежуточными и окончательными результатами которого являются слова в алфавите А. Предписанием, задающим этот алгоритм, является программа .

Другими словами, с математической точки зрения МТ — это алгоритм для переработки слов в алфавите этой машины (ради удобства отождествляем МТ с ее программой).
Слайд 8

Другими словами, с математической точки зрения МТ — это алгоритм для переработки слов в алфавите этой машины (ради удобства отождествляем МТ с ее программой).

Массовость алгоритма. Множество исходных данных для алгоритма — множество всевозможных слов в алфавите А машины. Это множество бесконечно, его элементы записываются на ленте машины.
Слайд 9

Массовость алгоритма. Множество исходных данных для алгоритма — множество всевозможных слов в алфавите А машины. Это множество бесконечно, его элементы записываются на ленте машины.

Результативность алгоритма. Алгоритм по любому исходному данному позволяет в конечное число шагов получить результат. Программа МТ применяется единообразно ко всевозможным исходным данным и не меняется в процессе работы машины над исходным словом. Программа описывает переход от одного состояния к др
Слайд 10

Результативность алгоритма. Алгоритм по любому исходному данному позволяет в конечное число шагов получить результат. Программа МТ применяется единообразно ко всевозможным исходным данным и не меняется в процессе работы машины над исходным словом. Программа описывает переход от одного состояния к другому. Некоторое состояние опознается как заключительное. Появившееся при этом на ленте слово в алфавите А является результатом переработки слова, записанного на ленте в начальном состоянии машины.

Конструктивность объектов. Исходные объекты, промежуточные и окончательные результаты для МТ — слова в алфавите А машины. Такие объекты являются конструктивными.
Слайд 11

Конструктивность объектов. Исходные объекты, промежуточные и окончательные результаты для МТ — слова в алфавите А машины. Такие объекты являются конструктивными.

Детерминированность (определенность) алгоритма. Программа  составлена таким образом, что ее исполнение однозначно осуществимо. Действительно, программа  — это совокупность команд вида siqjsmTqp, причем любые две различные команды не содержат одинаковых левых частей. При этом условии система коман
Слайд 12

Детерминированность (определенность) алгоритма. Программа  составлена таким образом, что ее исполнение однозначно осуществимо. Действительно, программа  — это совокупность команд вида siqjsmTqp, причем любые две различные команды не содержат одинаковых левых частей. При этом условии система команд не может требовать двух или более различных действий в одно и то же время.

Детерминированность (определенность) алгоритма. Свойство детерминированности означает также, что применение программы  к одному и тому же слову в алфавите А приводит к одному и тому же результату с одной и той же последовательностью состояний ленты.
Слайд 13

Детерминированность (определенность) алгоритма. Свойство детерминированности означает также, что применение программы  к одному и тому же слову в алфавите А приводит к одному и тому же результату с одной и той же последовательностью состояний ленты.

Конечность предписания, задающего алгоритм. Программа  представляет собой конечное предписание, причем процесс вычислений протекает только согласно программе и исходным данным, ничего более не используется.
Слайд 14

Конечность предписания, задающего алгоритм. Программа  представляет собой конечное предписание, причем процесс вычислений протекает только согласно программе и исходным данным, ничего более не используется.

Нельзя ли задавать посредством МТ и другие известные нам алгоритмы, задаваемые обычно с помощью предписаний. Другими словами, насколько «богат» класс МТ? Быть может он включает все алгоритмы?
Слайд 15

Нельзя ли задавать посредством МТ и другие известные нам алгоритмы, задаваемые обычно с помощью предписаний. Другими словами, насколько «богат» класс МТ? Быть может он включает все алгоритмы?

Тезис Тьюринга: Всякий алгоритм может быть задан посредством МТ
Слайд 16

Тезис Тьюринга: Всякий алгоритм может быть задан посредством МТ

В тезисе Тьюринга речь идет, с одной стороны, о понятии алгоритма, которое не является точным математическим понятием; с другой стороны, о точном математическом понятии — МТ. Значение этого тезиса и заключается в том, что он уточняет понятие алгоритма через математическое понятие — машину Тьюринга
Слайд 17

В тезисе Тьюринга речь идет, с одной стороны, о понятии алгоритма, которое не является точным математическим понятием; с другой стороны, о точном математическом понятии — МТ. Значение этого тезиса и заключается в том, что он уточняет понятие алгоритма через математическое понятие — машину Тьюринга

Классы задач не имеющих разрешающего алгоритма. Существует ли алгоритм, позволяющий по произвольному уравнению с целыми коэффициентами выяснить, имеет оно целочисленное решение или нет?
Слайд 18

Классы задач не имеющих разрешающего алгоритма

Существует ли алгоритм, позволяющий по произвольному уравнению с целыми коэффициентами выяснить, имеет оно целочисленное решение или нет?

Существует ли алгоритм, позволяющий по любому ассоциативному исчислению выяснить, разрешима в нем проблема эквивалентности слов или нет?
Слайд 19

Существует ли алгоритм, позволяющий по любому ассоциативному исчислению выяснить, разрешима в нем проблема эквивалентности слов или нет?

Машина Тьюринга ~ Нормальный алгоритм Маркова. Класс алгоритмов в форме машин Тьюринга и класс нормальных алгоритмов совпадают, эти алгоритмы равносильны.
Слайд 20

Машина Тьюринга ~ Нормальный алгоритм Маркова

Класс алгоритмов в форме машин Тьюринга и класс нормальных алгоритмов совпадают, эти алгоритмы равносильны.

Иными словами, для каждого алгоритма из класса машин Тьюринга существует равносильный ему алгоритм в классе нормальных алгоритмов, и наоборот.
Слайд 21

Иными словами, для каждого алгоритма из класса машин Тьюринга существует равносильный ему алгоритм в классе нормальных алгоритмов, и наоборот.

В этом смысле две математические теории алгоритмов: теория нормальных алгоритмов и теория машин Тьюринга, считаются эквивалентными (равносильными).
Слайд 22

В этом смысле две математические теории алгоритмов: теория нормальных алгоритмов и теория машин Тьюринга, считаются эквивалентными (равносильными).

Список похожих презентаций

Обобщение раздела "Алгоритмы и элементы программирования"

Обобщение раздела "Алгоритмы и элементы программирования"

Тема урока:. Обобщение и систематизация раздела «Алгоритмы и элементы программирования». Повторить: Подготовиться:. основные понятия раздела «Алгоритмы ...
Составляющие элементы среды программирования Visual Basic. Разработка первого проекта

Составляющие элементы среды программирования Visual Basic. Разработка первого проекта

Постановка целей урока. Обучающие Общеобразовательные. Образовательные цели. Учащиеся должны знать составляющие среды Visual Basic. Учащиеся должны ...
Язык программирования QBasic

Язык программирования QBasic

Под языком программирования мы будем понимать совокупность средств и правил представления алгоритма в виде, приемлемом для компьютера. Существует ...
Язык программирования QBasic. Массивы.

Язык программирования QBasic. Массивы.

Массив – это набор однотипных данных, имеющий имя и последовательную нумерацию его элементов. Примеры массивов: список учеников вашего класса – строковый ...
Элементы языка Турбо Паскаль

Элементы языка Турбо Паскаль

Основные операторы языка Паскаль Оператор присваивания Имя переменной:= выражение; При этом тип переменной и тип выражения должны быть одинаковыми. ...
Язык программирования Pascal

Язык программирования Pascal

Выражение. Выражение – совокупность операндов и операций. Операнды – константы, переменные, функции. Арифметические операции – бинарные операции + ...
MS Word. Элементы структурирования текста

MS Word. Элементы структурирования текста

Структурированный текст имеет ·разделение на абзацы, ·заголовки и подзаголовки, может содержать ·нумерованные и маркированные списки, ·сноски и колонтитулы, ...
Алгоритмы на примере среды программирования «Паркетчик»

Алгоритмы на примере среды программирования «Паркетчик»

Строка меню «Паркетчик». Основные команды паркетчика. Пример:. Программа { положить(к); Шаг вправо; положить(к); Шаг вправо; положить(к); }. Команды ...
Двумерные массивы в языке программирования Pascal

Двумерные массивы в языке программирования Pascal

В математике таблицы чисел, состоящие из строк и столбцов называются матрицами и записываются в круглых скобках. Двумерный массив. Матрицы 1. Двумерный ...
Язык программирования С++

Язык программирования С++

Общий план курса. Объектно-ориентированное программирование (на примере основных концепций языка C++) Объектно-ориентированное проектирование. Модели ...
Графические возможности языка программирования Паскаль

Графические возможности языка программирования Паскаль

Область рисования (графическое окно). Графическое окно – Uses graphABC. Система координат графического окна. Рисование линии (отрезка). Отрезок АВ. ...
Графические исполнители в среде программирования QBasic

Графические исполнители в среде программирования QBasic

Графические исполнители. Графические исполнители умеют вычерчивать геометрические фигуры на экране компьютера. х y 0. Исполнители выполняют чертежи ...
Графика в объектно – ориентированных языках программирования

Графика в объектно – ориентированных языках программирования

GDI (Graphics Devace Interface – графический интерфейс устройств) - интегрированная среда программирования для создания рисунков, рисования текста ...
Введение в язык программирования Паскаль

Введение в язык программирования Паскаль

Введение. Центральным понятием программирования является алгоритм. С него начинается работа над программой, а от качества алгоритма зависит ее успешное ...
Введение в язык программирования Haskell

Введение в язык программирования Haskell

Типы данных и базовые конструкции языка Haskell. Элементарные типы данных. Integer, Int – целые значения (25, -17, 111222333444555666777888). Float, ...
Язык программирования Turbo Pascal

Язык программирования Turbo Pascal

Данный учебник представляет собой пособие по программированию на языке Turbo Pascal. Текст построен в виде практического применения языка. Сопровождается ...
Задачи программирования

Задачи программирования

Основной ресурс человечества. В современном мире в качестве основного ресурса на первое место выдвигается информация, средства и методы работы с ней. ...
Язык программирования Паскаль

Язык программирования Паскаль

СТРУКТУРА ПРОГРАММЫ Программа на Паскале имеет имя и состоит из символов. В программе используются специальные зарезервированные слова, значение которых ...
Запись вспомогательных алгоритмов на языке Паскаль. Начала программирования

Запись вспомогательных алгоритмов на языке Паскаль. Начала программирования

Ключевые слова. подпрограмма процедура функция рекурсивная функция. Подпрограммы. Запись вспомогательных алгоритмов в языках программирования осуществляется ...
Языки программирования

Языки программирования

Основные понятия. Computer Software Hardware Memory Processor Device Program, computer program Application software System software Data Information ...

Конспекты

Элементы управления TextBox и Label

Элементы управления TextBox и Label

Конспект урока. «Элементы управления TextBox и Label». . . 10 класс. Разработала: Скилевая Елена Владимировна. ...
Язык программирования

Язык программирования

Учитель: Тишбаева Дина Заркыновна класс 9Б. Дата: 6.10.2014. Тема: Язык программирования. Цели и задачи:. Дать понятие языка программирования. ...
Циклические алгоритмы на языке программирования работа с ними

Циклические алгоритмы на языке программирования работа с ними

Открытый урок. Тема:. « Циклические алгоритмы на языке программирования работа с ними». Учителя: Зеленецкой М.С. в 9В классе. Цели урока: ...
Элементы издательской работы

Элементы издательской работы

Конспект урока на тему. «Элементы издательской работы». Цель: . изучить основные возможности редактора формул и освоить создание графических объектов ...
Среда визуального программирования Lazarus

Среда визуального программирования Lazarus

Урок информатики в 10 классе. Тема урока: Среда визуального программирования. Lazarus. . Цели:. Образовательные:. Повторить, что такое. языки ...
Среда программирования Кумир. Исполнитель Чертежник

Среда программирования Кумир. Исполнитель Чертежник

Конспект открытого урока. по информатике и ИКТ. в 7 классе. Тема: Среда программирования Кумир. Исполнитель Чертежник. Учитель: Долгополова ...
Множество. Элементы множеств

Множество. Элементы множеств

Тема: Множество. Элементы множеств. Тип урока:.  Урок изучения нового материала. Цель урока:. сформировать у учащихся представление о понятиях ...
Системы программирования и прикладное программное обеспечение

Системы программирования и прикладное программное обеспечение

Тема: «Системы программирования и прикладное программное обеспечение». . Тип урока:. изучение нового материала. . Цели урока:. Образовательная. ...
Использование переменных. Операции над переменными различных типов в языке программирования

Использование переменных. Операции над переменными различных типов в языке программирования

КОНСПЕКТ УРОКА ПО ИНФОРМАТИКЕ В 8 КЛАССЕ. Тема урока:. Решение задач ЕГЭ по информатике по теме «Использование переменных. Операции над переменными ...
Методическая разработка. Изучение строк посредством объектно-ориентированного языка программирования Borland Delphi

Методическая разработка. Изучение строк посредством объектно-ориентированного языка программирования Borland Delphi

Муниципальное общеобразовательное учреждение. «Средняя общеобразовательная школа № 93». Новокузнецкого района Кемеровской области. ...

Советы как сделать хороший доклад презентации или проекта

  1. Постарайтесь вовлечь аудиторию в рассказ, настройте взаимодействие с аудиторией с помощью наводящих вопросов, игровой части, не бойтесь пошутить и искренне улыбнуться (где это уместно).
  2. Старайтесь объяснять слайд своими словами, добавлять дополнительные интересные факты, не нужно просто читать информацию со слайдов, ее аудитория может прочитать и сама.
  3. Не нужно перегружать слайды Вашего проекта текстовыми блоками, больше иллюстраций и минимум текста позволят лучше донести информацию и привлечь внимание. На слайде должна быть только ключевая информация, остальное лучше рассказать слушателям устно.
  4. Текст должен быть хорошо читаемым, иначе аудитория не сможет увидеть подаваемую информацию, будет сильно отвлекаться от рассказа, пытаясь хоть что-то разобрать, или вовсе утратит весь интерес. Для этого нужно правильно подобрать шрифт, учитывая, где и как будет происходить трансляция презентации, а также правильно подобрать сочетание фона и текста.
  5. Важно провести репетицию Вашего доклада, продумать, как Вы поздороваетесь с аудиторией, что скажете первым, как закончите презентацию. Все приходит с опытом.
  6. Правильно подберите наряд, т.к. одежда докладчика также играет большую роль в восприятии его выступления.
  7. Старайтесь говорить уверенно, плавно и связно.
  8. Старайтесь получить удовольствие от выступления, тогда Вы сможете быть более непринужденным и будете меньше волноваться.

Информация о презентации

Ваша оценка: Оцените презентацию по шкале от 1 до 5 баллов
Дата добавления:27 апреля 2019
Категория:Информатика
Содержит:22 слайд(ов)
Поделись с друзьями:
Скачать презентацию
Смотреть советы по подготовке презентации