Кафедра «Информатики»
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Основы логики презентация
Содержание
- 1. Основы логики
- 2. Выражения. Выражение — это конструкция, которая возвращает
- 3. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Состоят из логических операндов и
- 4. КОНЪЮНКЦИЯ (логическое умножение) в естественном языке соответствует
- 5. ДИЗЪЮНКЦИЯ (логическое сложение) в естественном языке соответствует
- 6. ИНВЕРСИЯ (отрицание) в естественном языке соответствует словам
- 7. ИМПЛИКАЦИЯ (логическое следование) в естественном языке соответствует
- 8. ЭКВИВАЛЕНЦИЯ (равнозначность) в естественном языке соответствует оборотам
- 9. ЛОГИЧЕСКИЕ ОПЕРAЦИИ and И or ИЛИ not НЕ
- 10. Приоритет операций Условие 2 < X <
- 11. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ (10 > 5) and not (10
- 12. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ D=10 < 5; S= (10
- 13. ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ A={2=7} B={4=4}, C={5>1} A &(
Слайд 1Лекция 3
Основы логики
Российский государственный университет нефти
и газа имени И.М. Губкина
Слайд 2Выражения.
Выражение — это конструкция, которая возвращает величину.
Операция — это определенное
действие над элементами данных. Сами элементы данных, над которыми выполняется операция, называются операндами.
Слайд 4КОНЪЮНКЦИЯ (логическое умножение)
в естественном языке соответствует союзу и;
в алгебре высказываний обозначение
&;
в языках программирования обозначение Аnd.
в языках программирования обозначение Аnd.
Диаграмма Эйлера—Венна
Слайд 5ДИЗЪЮНКЦИЯ (логическое сложение)
в естественном языке соответствует союзу или;
обозначение ;
в
языках программирования обозначение Or.
Диаграмма Эйлера—Венна
Слайд 6ИНВЕРСИЯ (отрицание)
в естественном языке соответствует словам неверно, что... и частице не;
обозначение
;
в языках программирования обозначение Not.
в языках программирования обозначение Not.
Диаграмма Эйлера—Венна
Слайд 7ИМПЛИКАЦИЯ (логическое следование)
в естественном языке соответствует обороту
если
..., то ...;
обозначение => .
обозначение => .
Таблица истинности
Слайд 8ЭКВИВАЛЕНЦИЯ (равнозначность)
в естественном языке соответствует оборотам речи тогда и только тогда;
в том и только в том случае;
обозначение ~ .
обозначение ~ .
Таблица истинности
