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

Содержание

Слайд 2

Элементы алгебры логики

Элементы алгебры логики

Слайд 3

ОПРЕДЕЛЯЕТ ПРАВИЛА ЗАПИСИ , УПРОЩЕНИЯ И ПРЕОБРАЗОВАНИЯ ВЫСКАЗЫВАНИЙ И ВЫЧИСЛЕНИЯ ИХ ЗНАЧЕНИЙ . Алгебра логики

ОПРЕДЕЛЯЕТ ПРАВИЛА ЗАПИСИ , УПРОЩЕНИЯ И ПРЕОБРАЗОВАНИЯ ВЫСКАЗЫВАНИЙ И ВЫЧИСЛЕНИЯ ИХ

ЗНАЧЕНИЙ .

Алгебра логики

Слайд 4

Логические операции

Логические операции

Слайд 5

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ ,СТАВЯЩАЯ В СООТВЕТСТВИЕ ДВУМ ВЫСКАЗЫВАНИЯМ НОВОЕ ВЫСКАЗЫВАНИЕ , ЯВЛЯЮЩЕЕСЯ

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ ,СТАВЯЩАЯ В СООТВЕТСТВИЕ ДВУМ ВЫСКАЗЫВАНИЯМ НОВОЕ ВЫСКАЗЫВАНИЕ ,

ЯВЛЯЮЩЕЕСЯ ИСТИННЫМ ТОГДА И ТОЛЬКО ТОГДА ,КОГДА ОБА ИСХОДНЫХ ВЫСКАЗЫВАНИЯ ИСТИННЫ.

Конъюнкция

Слайд 6

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, КОТОРАЯ ДВУМ ВЫСКАЗЫВАНИЯМ СТАВИТ В СООТВЕТСТВИЕ НОВОЕ ВЫСКАЗЫВАНИЕ, ЯВЛЯЮЩЕЕСЯ

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ, КОТОРАЯ ДВУМ ВЫСКАЗЫВАНИЯМ СТАВИТ В СООТВЕТСТВИЕ НОВОЕ ВЫСКАЗЫВАНИЕ,
ЯВЛЯЮЩЕЕСЯ

ЛОЖНЫМ ТОГДА И ТОЛЬКО ТОГДА ,КОГДА ОБА ИСХОДНЫХ ВЫСКАЗЫВАНИЯ ЛОЖНЫ.

Дизъюнкция

Слайд 7

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ , КОТОРАЯ ВЫСКАЗЫВАНИЮ СТАВИТ В СООТВЕТСТВИЕ НОВОЕ ВЫСКАЗЫВАНИЕ ,ЗНАЧЕНИЕ КОТОРОГО ПРОТИВОПОЛОЖНО ИСХОДНОМУ Инверсия

ЛОГИЧЕСКАЯ ОПЕРАЦИЯ , КОТОРАЯ ВЫСКАЗЫВАНИЮ СТАВИТ В СООТВЕТСТВИЕ НОВОЕ ВЫСКАЗЫВАНИЕ

,ЗНАЧЕНИЕ КОТОРОГО ПРОТИВОПОЛОЖНО ИСХОДНОМУ

Инверсия

Слайд 8

ВЫРАЖЕНИЕ , СОДЕРЖАЩЕГО ЛОГИЧЕСКИЕ ПЕРЕМЕННЫЕ ,ЗНАКИ ЛОГИЧЕСКИХ ОПЕРАЦИЙ И СКОБКИ. Логические выражение

ВЫРАЖЕНИЕ , СОДЕРЖАЩЕГО ЛОГИЧЕСКИЕ ПЕРЕМЕННЫЕ ,ЗНАКИ ЛОГИЧЕСКИХ ОПЕРАЦИЙ И СКОБКИ.

Логические выражение


Слайд 9

1. ПОДСЧИТАТЬ КОЛИЧЕСТВО ПЕРЕМЕННЫХ N В ЛОГИЧЕСКОМ ВЫРАЖЕНИИ; 2. ОПРЕДЕЛИТЬ ЧИСЛО

1.    ПОДСЧИТАТЬ КОЛИЧЕСТВО ПЕРЕМЕННЫХ N В ЛОГИЧЕСКОМ ВЫРАЖЕНИИ;
2.   ОПРЕДЕЛИТЬ ЧИСЛО СТРОК В ТАБЛИЦЕ

ПО ФОРМУЛЕ M=2N, ГДЕ N - КОЛИЧЕСТВО ПЕРЕМЕННЫХ;
3.   ПОДСЧИТАТЬ КОЛИЧЕСТВО ЛОГИЧЕСКИХ ОПЕРАЦИЙ В ФОРМУЛЕ;
4.   УСТАНОВИТЬ ПОСЛЕДОВАТЕЛЬНОСТЬ ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ С УЧЕТОМ СКОБОК И ПРИОРИТЕТОВ;
5.   ОПРЕДЕЛИТЬ КОЛИЧЕСТВО СТОЛБЦОВ: ЧИСЛО ПЕРЕМЕННЫХ + ЧИСЛО ОПЕРАЦИЙ;
6.   ВЫПИСАТЬ НАБОРЫ ВХОДНЫХ ПЕРЕМЕННЫХ;
7.   ПРОВЕСТИ ЗАПОЛНЕНИЕ ТАБЛИЦЫ ИСТИННОСТИ ПО СТОЛБЦАМ, ВЫПОЛНЯЯ ЛОГИЧЕСКИЕ ОПЕРАЦИИ В СООТВЕТСТВИИ С УСТАНОВЛЕННОЙ В ПУНКТЕ 4 ПОСЛЕДОВАТЕЛЬНОСТЬЮ.

Построение таблиц истинности для логических выражений

Слайд 10

АЛГЕБРА ЛОГИКИ- РАЗДЕЛ МАТЕМАТИКИ , ИГРАЮЩИЙ ВАЖНУЮ РОЛЬ В КОНСТРУИРОВАНИИ АВТОМАТИЧЕСКИХ

АЛГЕБРА ЛОГИКИ- РАЗДЕЛ МАТЕМАТИКИ , ИГРАЮЩИЙ ВАЖНУЮ РОЛЬ В КОНСТРУИРОВАНИИ АВТОМАТИЧЕСКИХ

УСТРОЙСТВ , РАЗРАБОТКЕ АППАРАТНЫХ И ПРОГРАММНЫХ СРЕДСТВ ИНФОРМАЦИОННЫХ И КОММУНИКАЦИОННЫХ ТЕХНОЛОГИЙ.

Логические элементы

Слайд 11

ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН. СОЧЕТАТЕЛЬНЫЙ ЗАКОН. РАСПРЕДЕЛИТЕЛЬНЫЙ ЗАКОН. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ. ЗАКОН ИСКЛЮЧЁННОГО

ПЕРЕМЕСТИТЕЛЬНЫЙ ЗАКОН.
СОЧЕТАТЕЛЬНЫЙ ЗАКОН.
РАСПРЕДЕЛИТЕЛЬНЫЙ ЗАКОН.
ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ.
ЗАКОН ИСКЛЮЧЁННОГО ТРЕТЬЕГО.
ЗАКОН ПОВТОРЕНИЯ.
ЗАКОН ОПЕРАЦИИ С

0 И 1.
ЗАКОН ОБЩЕЙ ИНВЕРСИИ

Закон алгебры логики.