Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Введение в теорию алгоритмов и математическую логику

Мотивации.
Лекция № 1Введение в теорию алгоритмов и математическую логикуА существует ли алгоритм любви?Риторический вопросЛектор Шаповалов С.П. Мотивации. (фр. raccourcir — укорачивать)Плато́н (др.-греч. Πλάτων) (428 или 427 до н. э., Ракурс в историю ЛОГИКА (от греч. λόγος — слово, понятие, рассуждение, разум) Г. В. Лейбниц(1646-1716)О. де Морган(1806-1871)Дж. Буль(1815-1864)Ф. Л. Г. Фреге (1848-1925)Ч. С. Пирс(1839-1914) ☞Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических В связи с развитием информационных технологий, понятие алгоритма является не только основным АЛГОРИТМАбу Абд Аллах Мухаммед ибн Муса аль-Хорезми.Трактат. «Ал-китаб ал- мухтасар фи хисаб Ф. Э. Ж. Э. Борель(1871-1956)Г. К. Г. Вейль(1885-1955)А. М. Тьюринг(1912-1954)А. А. Марков(1903-1979)Н. Винер(1894-1964)А. Чёрч(1903-1995)Э. Л. Пост(1897-1954) Основные достижения ХХ века в области оснований математики Место для оставления Вашего следа в изысканиях по «Теории алгоритмов и математической логике»!!! Логика - смирительная рубашка фантазии. (Хельмар Нар)Спасибо за внимание !
Слайды презентации

Слайд 2 Мотивации.

Мотивации.

Слайд 3 (фр. raccourcir — укорачивать)
Плато́н (др.-греч. Πλάτων) (428 или

(фр. raccourcir — укорачивать)Плато́н (др.-греч. Πλάτων) (428 или 427 до н.

427 до н. э., Афины — 348 или 347

до н. э., там же) — древнегреческий философ, ученик Сократа, учитель Аристотеля. Настоящее имя — Аристокл (др.-греч. Αριστοκλής). Платон — прозвище, означающее «широкий, широкоплечий». По свидетельству Олимпиодора, Платон был не только философом , но и олимпийским чемпионом . Дважды он выигрывал соревнования по панкратиону — смесь бокса и борьбы .  Понимать, что справедливо, чувствовать, что прекрасно, желать, что хорошо, — вот цель разумной жизни.
 Политика — это искусство жить вместе.

Аристо́тель (др.-греч. Ἀριστοτέλης) (384 до н. э., Стагир — 322 до н. э., Халкидика) — древнегреческий философ и учёный. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского. В 335 до н. э. основал Ликей (Лицей, или перипатетическую школу). Основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления.
Из двух зол выбирай меньшее.
Лучше в совершенстве выполнить небольшую часть дела, чем сделать плохо в десять раз более.


Слайд 4 Ракурс в историю
ЛОГИКА (от греч. λόγος —

Ракурс в историю ЛОГИКА (от греч. λόγος — слово, понятие, рассуждение,

слово, понятие, рассуждение, разум) – наука о мышлении.
Логика как

наука о мышлении первоначально возникает в связи с развитием практики ораторского искусства, как часть теории риторики. Такой характер носят начатки логики в Древней Индии, Древнем Китае, Древней Греции и Риме.
На рисунке Грегор Рейш. «Логика представляет её центральные темы», Margarita Philosophica, 1503/08 (?). Две собаки veritas (лат. истина) и falsitas (лат. ложь) преследуют зайца problema (лат. проблема), логика, вооруженная мечом силлогизма, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию (это фрагмент из книги).

(фр. raccourcir — укорачивать)


Слайд 6 Г. В. Лейбниц
(1646-1716)
О. де Морган
(1806-1871)
Дж. Буль
(1815-1864)
Ф. Л. Г.

Г. В. Лейбниц(1646-1716)О. де Морган(1806-1871)Дж. Буль(1815-1864)Ф. Л. Г. Фреге (1848-1925)Ч. С. Пирс(1839-1914)

Фреге
(1848-1925)
Ч. С. Пирс
(1839-1914)


Слайд 7 ☞Метаматематика — раздел математической логики, изучающий основания математики, структуру

☞Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и

математических доказательств и математических теорий с помощью формальных методов.

Термин «метаматематика» буквально означает «за пределами математики».

Курт Фри́дрих Гёдель (1906-1878)

Дави́д Ги́льберт
(1862-1943)


Слайд 8 В связи с развитием информационных технологий, понятие
алгоритма

В связи с развитием информационных технологий, понятие алгоритма является не только

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

одним из главных понятий современной
науки, одним из важнейших факторов цивилизации.

Теория алгоритмов как самостоятельная наука появилась в
30–40х годах XX-века и имеет огромное значение во всех
направлениях математических наук.

Находят свои точные определения такие фундаментальные
понятия как алгоритм, доказуемость, сложность.


«Самым главным открытием в науке об алгоритмах, безусловно,
было открытие самого понятия алгоритма в качестве новой и
отдельной сущности. Алгоритмические концепции играют в процессе
обучения и воспитания современного человека фундаментальную роль,
сравнимую лишь с ролью письменности».



Слайд 9 АЛГОРИТМ
Абу Абд Аллах Мухаммед ибн Муса аль-Хорезми.

Трактат. «Ал-китаб

АЛГОРИТМАбу Абд Аллах Мухаммед ибн Муса аль-Хорезми.Трактат. «Ал-китаб ал- мухтасар фи

ал- мухтасар фи хисаб ал-джабр ва-л-мукабала».
Переводчик дал название
«Algoritmi

de numero Indorum» («Алгоритми о счёте индийском»). Эта книга была дважды переведена в XII веке на латынь.

Первый перевод книги начинается словами: «Dixit algorizmi: …» («Аль-Хорезми говорил: …»)

(ок. 783 – ок. 850)


Слайд 11 Ф. Э. Ж. Э. Борель
(1871-1956)
Г. К. Г. Вейль
(1885-1955)
А.

Ф. Э. Ж. Э. Борель(1871-1956)Г. К. Г. Вейль(1885-1955)А. М. Тьюринг(1912-1954)А. А. Марков(1903-1979)Н. Винер(1894-1964)А. Чёрч(1903-1995)Э. Л. Пост(1897-1954)

М. Тьюринг
(1912-1954)
А. А. Марков
(1903-1979)
Н. Винер
(1894-1964)
А. Чёрч
(1903-1995)
Э. Л. Пост
(1897-1954)


Слайд 12 Основные достижения ХХ века в области оснований математики

Основные достижения ХХ века в области оснований математики

Слайд 13 Место для оставления Вашего следа в изысканиях по

Место для оставления Вашего следа в изысканиях по «Теории алгоритмов и математической логике»!!!

«Теории алгоритмов и математической логике»!!!


  • Имя файла: vvedenie-v-teoriyu-algoritmov-i-matematicheskuyu-logiku.pptx
  • Количество просмотров: 131
  • Количество скачиваний: 1
- Предыдущая Функция
Следующая - Тело и вещество