Персональный сайт -  Шувикиной Евгении Игоревны Вторник, 23.07.2019, 22:51
Приветствую Вас Гость | RSS
Меню сайта

Я на других сайтах
  • Мультиурок
  • Копилкауроков

  • Статистика

    Онлайн всего: 1
    Гостей: 1
    Пользователей: 0

    Поздравление
    Счастливой Осени, друзья!, Осень

    Рейтинг образовательных сайтов mega-talant.com

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

     

    Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными.

    Джордж Буль - английский математик и логик. Один из предтеч математической логики.
    Джордж Буль - английский математик и логик. Один из предтеч математической логики.
     
     

    Развитие алгебры логики

    • Августус де Морган (1806-1871) 
    • Уильям Стенли Джевонс (1835-1882) 
    • Платон Сергеевич Порецкий (1846-1907) 
    • Чарлз Сандерс Пирс (1839-1914) 
    • Андрей Андреевич Марков (1903-1979) 
    • Андрей Николаевич Колмогоров (1903-1987) и др.

    В 1938 г. американский математик и инженер Клод Шеннон (1916-2001) применил алгебру логики для описания процессов функционирования релейно-контактных и электронно-ламповых схем.

    Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.

    Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель). 

    Высказывание называется простым (элементарным), если никакая его часть не является высказыванием.

    Сложные высказывания строятся с помощью слов-связок 

    «и», «или», «не», «если то ...», «тогда и только тогда, когда ...» и т. п. 

    Истинность или ложность получаемых высказываний зависит от истинности и ложности исходных высказываний и соответствующей трактовки связок как 

    логических операций над высказываниями.

    Обозначение:

    • ИСТИНА — символы «И» и «1»
    • ЛОЖЬ — символы «Л» и «0».

    Таблицы истинности 

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

    Схемы


    СОСТАВЛЕНИЕ ЗАПРОСОВ ДЛЯ ПОИСКОВЫХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ 

     

    Вход на сайт

    Поиск

    Календарь
    «  Июль 2019  »
    ПнВтСрЧтПтСбВс
    1234567
    891011121314
    15161718192021
    22232425262728
    293031

    Архив записей

    Полезные ссылки

    Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz

  • Рейтинг сайтов

    Персональный сайт © 2019 uCoz