Презентация "Математические основы информатики. Логика"

Математические основы информатики. Логика

Информатика 8 класс

Платон

Аристотель

Гегель

Содержание

1. Компьютер – универсальное техническое устройство для работы с информацией.

2. Микропроцессорная техника – будущее науки.

3. Что такое мышление и логика?

4. Понятие.

5. Формы мышления.

6. Георг Вильгельм Фридрих Гегель.

7. Лейбниц Готфрид Вильгельм.

8. Джордж Буль. 

По своему назначению компьютер — это универсальное техническое устройство для работы с информацией.

По принципам своего устройства компьютер — это модель человека, работающего с информацией.

Основные компоненты информационной функции человека

прием (ввод) информации;

запоминание информации (память);

процесс мышления (обработка информации);

передача (вывод) информации.

Компьютер – универсальное техническое устройство для работы с информацией

Чтобы заставить техническое устройство работать

как человек, необходимо изучить процесс

мышления человека.

ХХ и ХХI век — это время технического прогресса. Идет ускоренное развитие микропроцессорной техники, робототехники. Создаются технические устройства которые способны заменить человека на тяжёлых и монотонных производствах и в домашнем хозяйстве (робот-нянька, робот-пылесос и др.)

Современное значение темы

Микропроцессорная техника –

будущее науки

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

(384-322 гг. до н.э.)

Что такое мышление и логика?

Как человек принимает решение?

Мышление – это познавательный процесс,

который позволяет получать знания об окружающем мире на основе суждений, выводов и умозаключений.

Логика - наука о формах и способах мышления.

Аристотель сформулировал логические законы:

закон тождества —

«понятие должно употребляться в одном и том же значении в ходе рассуждений»;

закон противоречия —

«не противоречь сам себе»;

закон исключенного третьего —

«А или не-А истинно, третьего не дано».

Аристотель разрабатывал учение о силлогизмах.

Учение Аристотеля

«Толерантность - социальная норма гражданского общества.

Мы живём в гражданском обществе.

Мы - толерантные».

Силлогизмы — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения

«Все информативные вещи полезны.

Некоторые сайты не полезны.

Некоторые сайты не информативны»

Платон ( Афины — 348 или 347 до н. э.)-ученик Сократа. Платон впервые обратил внимание, что идеи (понятия) не зависят от объекта.

Платон вводит в мир идей. «Всё разумное в человеке — душа. Её отличительный признак — мышление».

Понятие

 Наиболее простейшей в структурном отношении формой мысли выступает понятие.

Понятие является формой мысли, отражающей общие существенные и отличительные признаки предмета мысли.

Высказывание (суждение) – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов.

Высказывание может быть истинным или ложным.

Понятие, высказывание, умозаключение –

основные формы мышления. 

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

Георг Вильгельм Фридрих Гегель (1770-1831)

«Чтобы соотнести единичные предметы с образуемой ими всеобщей системой, требуется найти некую особенность, которая была бы присуща как самим предметам, так и их системе. Только

при посредстве такой особенности мышление становится способным выстраивать разумные умозаключения».

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

Лейбниц стремился к созданию всеобщей символики. Он полагал, что новая логика позволит легко разрешать споры. При наличии различных мнений по какому-либо вопросу противники возьмут перья и скажут: «Посчитаем»!»

ЛЕ́ЙБНИЦ (Leibniz) Готфрид Вильгельм (1 июля 1646, Лейпциг — 14 ноября 1716, Ганновер), немецкий философ, логик, физик, математик и языковед, основоположник математической логики.

МАТЕМАТИЧЕСКАЯ логика - логика, использующая математические методы исследования способов рассуждений (выводов)

Джордж Буль 

02.11.1815 – 08.12.1864

Буль изобрел своеобразную алгебру высказываний- систему обозначений

и правил, которая позволяет моделировать простейшие мыслительные процессы. Система Буля хорошо подходит для описания электрических переключателей. В ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.

Булева алгебра + двоичная система счисления = основы для разработки цифрового электронного компьютера

Работу выполнила учитель информатики Гущина Галина Владимировна, ГБОУ школа №635, Приморского района Санкт-Петербурга