Четверг, 20.07.2017, 15:32
План-конспекты уроков по информатике
0+ Главная Регистрация Вход
Приветствую Вас, Гость · RSS
Меню сайта
Категории раздела
Все [56]
logoWriter [19]
Уроки по теме "logoWriter"
CorelDraw [7]
Практические задания с пошаговым алгоритмом выполнения по теме "CorelDraw"
MacromediaFlash [0]
Практические работы по теме "MacromediaFlash"
MS Excel [7]
План-конспекты по теме "MS Excel"
Логика [10]
План-конспекты уроков по логике
Разное [10]
Уроки, которые не подходят ни в одну категорию
Pascal [7]
Форма входа
Статистика

Яндекс.Метрика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Наш опрос
Очень сложно найти конспект на тему...
Всего ответов: 632
Реклама
 Каталог статей
Главная » Уроки » Все

Тема 2. Высказывания и операции над ними.
Тема 2. Высказывания  и операции над ними.
Цели урока.
1) ознакомить учащихся с операциями алгебры логики;
 2) развивать логическое мышление;
 3) воспитывать бережное отношение к лабораторному и аудиторскому оборудованию.
Ход урока.
I. Орг. момент.
II. Повторение. Проверка д/з.
1) Что изучает логика?
2) Назвать основные формы абстрактного мышления.
3) Дать определение понятия, суждения, умозаключения.
4) Какие виды суждений аристотелевской логики вы знаете?
5) Что изучает формальная логика, математическая логика?
6) Какие из следующих предложений являются высказываниями?
• Наполеон был французским императором.
• Чему равно расстояние от Земли до Марса?
• Внимание! Посмотрите направо.
• Электрон - элементарная частица.
• Не нарушайте правил дорожного движения!   
• Полярная звезда находится в созвездии Малой Медведицы.
III. Новая тема.
Все эти высказывания являются простыми.
Из простых высказывания можно получить сложные, объединив их с помощью логических связок.
Логические связки - это слова, которые подразумевают определенные логические связи между высказываниями.

010
На сегодняшний день в логике не существует унифицированной символики для обозначения логических операций, поэтому полезно иметь следующую таблицу:
011
1)    Конъюнкция (*, и).
Операция конъюнкции определяется с помощью следующей таблицы истинности:
A    B    A и B
0      0    0
0      1    0
1      0    0
1      1    1
Т.о. конъюнкция двух высказываний истинна в том и только том случае, когда оба высказывания А и В являются истинными.
 2) Дизъюнкция (+, или).
A    B    A или B

0     0    0
0     1    1
1     0    1
1     1    1
Дизъюнкция двух высказываний ложна в том и только том случае, когда одновременно ложны оба высказывания    А и В.
3) Инверсия.

A    не A

0      1
1      0
Высказывание А истинно, когда А ложно, и ложно, когда А истинно.
4) Импликация.
А    В    А —› В

0     0      1
0     1      1
1     0      0
1     1      1

Если будет хорошая погода, то мы пойдем в лес.

5) Эквиваленция.

А    В    А ‹—› В

0     0      1
0     1      0
1     0      0
1     1      1

Я куплю приемник тогда и только тогда, когда получу премию.
 6) Строгая дизъюнкция.
А    В    А004 В

0     0      0
0     1      1
1     0      1
1     1      0
В этом году летом мы либо поедем к морю, либо будем жить на даче.
012
Категория: Все | Добавил: Казначей (08.12.2010)
Просмотров: 7500 | Комментарии: 1 | Теги: Высказывания и операции над ними | Рейтинг: 3.5/2
Не забываем комментировать!!!

Другие материалы
Тема 2. Высказывания и операции над ними.
Файлы и каталоги на дисках в MS DOS (2 урока)
Моделирование и формализация. Часть 1.
Урок 10: Работа с листом форм в среде LogoWriter
Понятия о системах счисления.
Урок 18, 19. Понятие переменной. Вычисление значен...
Урок 23-24. Процедуры с параметрами. Процедуры с н...
Урок 13,14. Команда ПОВТОРИ. Повторение команд чер...
Урок 1: Первое знакомство с системой Logo Writer
Практическая работа №2: Рисование линий
Понятие формализации. Часть 2.
Практическая работа №3: Работа с узлами

Всего комментариев: 1
1  
Woot, I will cetrailny put this to good use!

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright KUPI © 2017
Готовимся к ЕГЭ и ГИА
ГИА, ЕГЭ 2014 по информатике ФИПИ скачать бесплатно без смс
Отследи свою посылку
Друзья сайта
  • Софт бесплатно
  • Интернет магазин бесплатно
  • Наша ссылка
    Наша кнопка
    Конспекты уроков
    Лидеры по просмотрам
    Тема 8. Решение логических задач.
    Виды и типы современных языков программирования
    Алгоритм и его свойства
    Информация: определение, свойства, формы представления; информационные процессы.
    Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.
    Относительная и абсолютная адресация
    Моделирование и формализация. Часть 1.
    Графика в Турбо Паскаль.
    Сортировка и фильтрация данных в MS Excel
    Понятие формализации. Часть 2.
    Загрузить файл
    Сделать бесплатный сайт с uCoz