Пробный урок в квизисе

Зачем нужнаЗачем нужна

математическаяматематическая

логика?логика?

Изображение: http://www.muslimpress.ru/wp-content/uploads/2013/06/bd12d7ff0ccd612673dd1a6988158bcd.jpg

Материалы к

вводному уроку
Элементы математической логикиЭлементы математической логики

Разработчик: преп. Ноздрев Евгений Евгеньевич

Орёл, 2014

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●
при построении
электронных схем и
оптимизации их работы

I. I. Применяется в профессиональной Применяется в профессиональной

деятельности:деятельности:

Изображение: http://st03.kakprosto.ru//images/article/2011/9/7/1_525508016e8c4525508016e902.jpg

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●
при построении электронных схем и
оптимизации их работы;

● при
проверке

правильности

доказательств теорем

I. I. Применяется в профессиональной Применяется в профессиональной

деятельности:деятельности:

Изображение: http://player.myshared.ru/276163/data/images/img8.jpg

Multiple Choice

Вопрос

• 1

• 2

• 3

• 4

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●при

построении

электронных

схем

и

оптимизации их работы;

●
при

проверке

правильности

доказательств теорем;

● в
имитации

логических

рассуждений

компьютером

(автоматические

решатели,

искусственный интеллект)

I. I. Применяется в профессиональной Применяется в профессиональной

деятельности:деятельности:

Изображение: https://bitnovosti.files.wordpress.com/2014/11/07-agda_proof.jpg

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●при построении электронных схем и оптимизации
их работы;

●
при проверке правильности доказательств
теорем;

●
в имитации логических рассуждений
компьютером

(автоматические

решатели, искусственный интеллект);

● позволяет делать более быстрые

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

I. I. Применяется в профессиональной Применяется в профессиональной

деятельности:деятельности:

Изображение: http://ko.com.ua/img/ko/2002/18/!ke_3.jpg

Кластер для расчётов из
нескольких компьютеров

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

II. II. Тренировка мышления и воображенияТренировка мышления и воображения

Изображение: http://www.dezinfo.net/images1/image/03.2008/karandashi.jpg

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●
геологи

классифицируют

кристаллы

с

помощью

странных

объектов,

изучающихся

в

высшей

алгебре

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Изображение: из книги Visual Group Theory, Nathan C. Carter, 2009

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●
геологи

классифицируют

кристаллы с помощью странных
объектов, изучающихся в высшей
алгебре;

●
алгоритм

поиска

оптимального

пути

на

основе

наблюдений

за

обычными муравьями

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Изображение: http://upload.wikimedia.org/wikipedia/commons/3/34/Safari_ants.jpg

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●
геологи

классифицируют

кристаллы

с

помощью

странных

объектов,

изучающихся в высшей алгебре;

●
алгоритм поиска оптимального пути на основе наблюдений за
обычными муравьями;

●
в каждой живой клетке есть программа, записанная в ДНК

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Изображение: http://emulator.miem.edu.ru/uploads/swfupload/images/resized/d88989faca2ba924b391be65ce198c1fbe8e6874.png

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●геологи классифицируют кристаллы с
помощью

странных

объектов,

изучающихся в высшей алгебре;

●
алгоритм поиска оптимального пути
на основе наблюдений за обычными
муравьями;

●
в

каждой

живой

клетке

есть

программа, записанная в ДНК;

●
крылья бабочек вида Грета
Ото почти не отражают свет, а
другого вида — поглощают
волны

эхолота

летучих

мышей

в

стиле

самолёта

stealth

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другойпригодиться в совсем другой

Изображение: http://www.kit.edu/kit/english/pi_2015_037_nature--low-reflection-wings-make-butterflies-nearly-invisible.php

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●геологи классифицируют кристаллы с помощью
странных объектов, изучающихся в высшей
алгебре;

●
алгоритм поиска оптимального пути на основе
наблюдений за обычными муравьями;

●
в каждой живой клетке есть программа,
записанная в ДНК;

●
крылья бабочек вида Грета Ото почти не
отражают свет, а другого вида —
поглощают

волны

эхолота

летучих

мышей в стиле самолёта stealth;

●
современная физика основана на
использовании

понятия

информации, которое изучается в
информатике

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Изображение: http://www.milkywaygalaxy.ru/wp-content/gallery/ph220/kvazar.jpg

Чёрная

дыра

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●геологи

классифицируют

кристаллы

с помощью

странных объектов, изучающихся в высшей алгебре;

●алгоритм поиска оптимального пути на основе
наблюдений за обычными муравьями;

●в каждой

живой

клетке

есть

программа,

записанная в ДНК;

●
крылья бабочек вида Грета Ото почти не
отражают свет, а другого вида — поглощают
волны эхолота летучих мышей в стиле
самолёта stealth;

●
современная

физика

основана

на

использовании

понятия

информации,

которое изучается в информатике;

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

изображений

используют

правила,

аналогичные

разбору предложений по составу

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Изображения:http://solarix.ru/pix/syntax/syntax-tree-html.png , http://cs.stanford.edu/people/karpathy/deepimagesent/

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●геологи классифицируют кристаллы с помощью странных объектов, изучающихся в
высшей алгебре;

●алгоритм поиска оптимального пути на основе наблюдений за обычными
муравьями;

●в каждой живой клетке есть программа, записанная в ДНК;

●
крылья бабочек вида Грета Ото почти не отражают свет, а
другого вида — поглощают волны эхолота летучих мышей
в стиле самолёта stealth;

●
современная

физика

основана

на

использовании

понятия

информации,

которое

изучается

в

информатике;

●
некоторые системы автоматического распознавания
изображений

используют

правила,

аналогичные

разбору предложений по составу;

●
всё,

что

мы

можем

наблюдаем,

это

математические операторы (современная физика)

Изображения:http://sci-edu.ru/quantum_mechanics/ ,
https://ru.wikipedia.org/wiki/%D0%90%D1%82%D0%BE%D0%BC%D0%BD%D0%B0%D1%8F_%D0%BE%D1%80%D0%B1%D0%B8%D1%82%D0%B0%D0%BB%D1%8C

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

Состояние кота Шрёдингера

Орбитали электрона в атоме

Зачем нужна Зачем нужна математическаяматематическая логика? логика?

●геологи классифицируют кристаллы с помощью странных объектов, изучающихся в
высшей алгебре;

●алгоритм поиска оптимального пути на основе наблюдений за обычными
муравьями;

●в каждой живой клетке есть программа, записанная в ДНК;

●крылья бабочек вида Грета Ото почти не отражают свет, а другого вида
— поглощают волны эхолота летучих мышей в стиле самолёта stealth;

●современная

физика

основана

на

использовании

понятия

информации, которое изучается в информатике;

●некоторые

системы

автоматического

распознавания

изображений используют правила, аналогичные разбору
предложений по составу;

●
всё, что мы можем наблюдаем, это математические
операторы (современная физика);

●
некоторые

алгоритмы

расчёта

химических

реакций (в том числе при разработке лекарств)
похожи

на

алгоритмы

распознавания

изображений, а алгоритмы изучает раздел логики

Изображение: http://sci-edu.ru/quantum_mechanics/https://boinc.bakerlab.org/rosetta/rah_graphics.php

III. Знания одной науки могут III. Знания одной науки могут
пригодиться в совсем другой:пригодиться в совсем другой:

BOINC Rosetta = полезные расчёты

+ заставка на компьютер