Главная Мой профиль Регистрация Выход
полное наименование образовательного учреждения:  муниципальное бюджетное общеобразовательное учреждение "Средняя  школа №13"
сокращенное наименование: МБОУ СШ №13
год основания: 1989 год
юридический и физический адрес: 607220 Нижегородская область, город Арзамас, улица Зеленая, дом 34
телефон: (83147) 6-31-60
электронная почта: 13school-arz@rambler.ru
учредитель: муниципальное образование городской округ город Арзамас Нижегородской области в лице Администрации города Арзамаса
руководитель: Крайнев Евгений Александрович
С информацией о документах, размещенных на сайте школы, можно ознакомиться здесь (КАРТА САЙТА)

C 1.10.2010г. на территории РФ действует Детский телефон доверия
с единым номером 8-800-2000-122
Функционирует и работает "горячая линия" по вопросам незаконных сборов денежных средств в общеобразовательных организациях.
Региональная постоянно действующая "горячая линия"
Муниципальная постоянно действующая "горячая линия" по вопросам сбора денежных средств в образовательных организациях г.Арзамаса:
Кондакова С.Г., и.о. директора департамента образования (тел.  7-57-84)
Зиновьев А.А., заместитель директора департамента образования (тел. 7-57-51);
Бойчук О.А., начальник отдела общего и дополнительного образования (тел. 7-57-37); 

Режим работы "горячей линии":
понедельник - пятница: с 08:00 до 17:00, обед: с 12:00 до 13:00;
в предпраздничные дни: с 08:00 до 16:00, обед с 12:00 до 13:00;
суббота, воскресенье, праздничные дни - выходные дни.
  • ПО ВОПРОСАМ ОРГАНИЗАЦИИ БЕСПЛАТНОГО ГОРЯЧЕГО ПИТАНИЯ ДЛЯ УЧАЩИХСЯ 1-4 КЛАССОВ - "ГОРЯЧАЯ ЛИНИЯ" ДЕПАРТАМЕНТА ОБРАЗОВАНИЯ С 14.00 ДО 17.00 ВТОРНИК, ЧЕТВЕРГ ПО Т. 7-57-37
 ИНФОРМАЦИЯ ПО Конкурсу ЗДЕСЬ
По вопросам противодействия коррупции обращаться по телефонам:
  • Горячая линия по вопросам коррупции правительства НО (831)233-22-06
  • Заместитель мэра г.Арзамаса по социальным вопросам  8(831-47) 7-57-12
  •    Департамент образования г.Арзамаса                         7-57-84, 7-57-51
  • Ссылка на официальную страницу с результатами независимой оценки качества оказания услуг в сфере образования  

Вы вошли как Гость | Группа "Гости"Приветствую Вас Гость | RSS |
Суббота, 15.05.2021, 23:16

Форма входа
Поиск
Случайное фото

Каталог статей

Главная » Статьи » Персональная страничка учителя » Естественно-научных дисциплин

Алгебра логики. 3 часть. 10 класс
 
3. Логические формулы.
 
С помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой.
 
Определение логической формулы:
 
1. Всякая логическая переменная и символы "истина" ("1") и "ложь" ("0") — формулы.
2. Если А и В — формулы, то ¬, (А &В), (А v В), (А B), (А  В) — формулы.
3. Никаких других формул в алгебре логики нет.
 
В п. 1 определены элементарные формулы; в п. 2 даны правила образования из любых данных формул новых формул.
 
Пример:
Рассмотрим высказывание "если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог".
Обозначим буквой A высказывание: "купить яблоки", буквой B - высказывание: "купить абрикосы", буквой C - высказывание: "испечь пирог".
 
 Тогда высказывание "если я куплю яблоки или абрикосы, то приготовлю фруктовый пирог" формализуется в виде формулы:
 
(A v B)C
 
Формула выполнимая - если при определенных сочетаниях значений переменных она принимает значение "истина" ("1") или "ложь" ("0").
 
Как показывает анализ формулы (A v B)C, при определённых сочетаниях значений переменных A, B и C она принимает значение "истина", а при некоторых других сочетаниях — значение "ложь".
 
Некоторые формулы принимают значение "истина” при любых значениях истинности входящих в них переменных. Таковой будет, например, формула А v ¬A, соответствующая высказыванию "Этот треугольник прямоугольный или косоугольный”. Эта формула истинна и тогда, когда треугольник прямоугольный, и тогда, когда треугольник не прямоугольный.
 
Тавтология - тождественно истинная формула, или формула принимающая значение "истина" ("1") при любых входящих в нее значениях переменных.
 
Логически истинные высказывания - высказывания, которые формализуются тавтологиями.
 
В качестве другого примера рассмотрим формулу А & ¬A, которой соответствует, например, высказывание "Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо ¬A обязательно ложно.
 
Противоречие - тождественно ложная формула, или формула принимающая значение "ложь" ("0") при любых входящих в нее значениях переменных.
 
Логически ложные высказывания - высказывания, которые формализуются противоречиями.
 
Равносильные формулы - две формулы А и В принимающие одинаковые значения, при одинаковых наборах значений входящих в них переменных.
 
Равносильность двух формул алгебры логики обозначается символом
 
Равносильное преобразование формулы - замена формулы другой, ей равносильной.
Категория: Естественно-научных дисциплин | Добавил: Galina (14.12.2009)
Просмотров: 685 | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Официальный сайт МОУ СОШ №13 г.Арзамаса
Используются технологии uCoz