Алгебра логики. Понятие высказывания.. Алгебра логики – часть дискретной математики Математический аппарат алгебры логики широко используется в информатике.

Презентация:



Advertisements
Похожие презентации
Математическая логика и теория алгоритмов Могилев 2013.
Advertisements

LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ Слово «логика» обозначает совокупность правил, которым подчиняется процесс мышления. Основными формами.
Введение в логику. Дж. Буль (1815 – 1864) – анг. математик отец алгебры логики Булева алгебра (алгебра логики) изучает свойства функций, у которых и аргументы,
ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ЛОГИКУ.
АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ.
ЛОГИКА Логика – одна из древнейших наук. Как самостоятельная наука логика сложилась в IV в. до н.э. Её основателем считается древнегреческий философ Аристотель.
Я, по крайней мере, думал, что противоречить друг другу могут только высказывания, поскольку они через умозаключения ведут к другим высказываниям, и мне.
Введение в алгебру логики Автор: Шатило Эльвира Николаевна, учитель информатики и математики МОУ СОШ 14 города Астрахани.
Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
Логика Подготовила : Набиева Рузиля Класс 11 «Б».
Высказывание. Логические операции Высказывание. Логические операции Информатика 8 класс Токар И.Н.
Формы мышления Тема урока Основы логики и логические основы компьютера.
Логика- наука о формах и способах мышления Алгебра логики- математический аппарат, с помощью которого записывают, преобразовывают, вычисляют логические.
Логика Наука, изучающая законы и формы мышления.
Логические основы работы ЭВМ. Алгебра логики - наука о правильном мышлении.
Логика как наука. Формы мышления.. Ученые доказали, что логическая культура не дается человеку от природы. Тогда как же она формируется? Логической культурой.
Идею о возможности математизации логики высказал еще в XVII в. немецкий логик Готфрид Вильгельм Лейбниц. Он пытался создать универсальный язык, с помощью.
1) Возникновение логики: краткая историческая справка возникновения логики как науки; 2) Булевы функции: особые математические функции от логических аргументов;
Базовые логические элементы Иванова ЮлияАмериканец Клод Шеннон раскрыл связи между двоичным способом хранения информации, алгеброй логики и электрическими.
Презентация к уроку по информатике и икт по теме: Базовые логические элементы (презентация)
Транксрипт:

Алгебра логики. Понятие высказывания.

Алгебра логики – часть дискретной математики Математический аппарат алгебры логики широко используется в информатике : Проектирование ЭВМ Теория автоматов Теория алгоритмов Теория информации Целочисленное программирование

«Двузначная логика» Алгебра логики изучает свойства функции, у которых и аргументы, и значения принадлежат заданному двухэлементному множеству (0, 1) Английский математик XIX столетия – отец алгебры логики. Построил один из разделов формальной логики.

Вклад в становление и развитие алгебры логики внесли: Августс де Морган Уильям Стенли Джевонс Платон Сергеевич Порецкий Чарлз Сандерс Пирс

Спустя 100 лет… 1938 год Клод Шеннон (математик и инженер) показал, что алгебра логики применима для описания процессов функционирования релейно-контактных и электронно-ламповых схем.

Высказывания С помощью высказывания мы устанавливаем свойства, взаимосвязи между объектами. Каждое высказывание несет значение «истина» или «ложь»

Предикаты Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Сами числовые выражения, равенства или неравенства, содержащие переменные высказываниями не являются. Предложения типа «х

Дома: §3.1 прочитать, 4 Подготовить сообщения об ученых: Аристотель Готфрид-Вильгельм Лейбниц Дж. Буль