Конкурс

См. также:

Уважаемые коллеги. Размещение авторского материала на страницах электронного справочника "Информио" является бесплатным. Для получения бесплатного свидетельства необходимо оформить заявку

Приглашение на участие в конкурсе

Положение

Методическая разработка "Элементы математической логики" для дисциплин "Информатика" и "Дискретная математика с элементами математической логики"

08.11.2021 291 406
Экгауз Евгения Яковлевна
Экгауз Евгения Яковлевна, преподаватель

Цылова Елена Григорьевна
Цылова Елена Григорьевна, доцент, к.ф-м.н, Пермский Национально-Исследовательский Политехнический университет

Каменск-Уральский техникум торговли и сервиса

В предлагаемой статье приведена методическая разработка по элементам математической логики для дисциплин «Информатика» и «Дискретная математика с элементами математической логики». Она может быть использована для студентов всех специальностей. Работа содержит теоретический материал, примеры решения практических задач и 5 вариантов контрольной работы.

ЕН. 02 «Дискретная математика с элементами математической логики», ОУД.14 «Информатика»

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

Например,  - высказывание.

Не всякое повествовательное предложение может быть высказыванием. Например, фраза Сегодня хорошая погода – не является высказыванием, потому что нельзя однозначно сказать истинно оно или ложно.

Логические операции над высказываниями

С помощью логических операций (связок) из простых высказываний можно получить сложные составные высказывания.

Например, Париж столица Франции И Москва столица России.

Обозначим истинное высказывание 1, а ложное 0.

К основным логическим операциям (связкам) относятся:

1) Отрицание. Отрицанием высказывания  называется высказывание , которое истинно, тогда и только тогда, когда  ложно (читается «не », «не верно, что »).

Таблица истинности для операции отрицание представлена на рисунке 1.

 

Оригинал публикации (Читать работу полностью): Методическая разработка "Элементы математической логики" для дисциплин "Информатика" и "Дискретная математика с элементами математической логики"




Назад к списку


Добавить комментарий
Прежде чем добавлять комментарий, ознакомьтесь с правилами публикации
Имя:*
E-mail:
Должность:
Организация:
Комментарий:*
Введите код, который видите на картинке:*