ПЕРЕЛІК ДИСЦИПЛІН:
  • Адміністративне право
  • Арбітражний процес
  • Архітектура
  • Астрологія
  • Астрономія
  • Банківська справа
  • Безпека життєдіяльності
  • Біографії
  • Біологія
  • Біологія і хімія
  • Ботаніка та сільське гос-во
  • Бухгалтерський облік і аудит
  • Валютні відносини
  • Ветеринарія
  • Військова кафедра
  • Географія
  • Геодезія
  • Геологія
  • Етика
  • Держава і право
  • Цивільне право і процес
  • Діловодство
  • Гроші та кредит
  • Природничі науки
  • Журналістика
  • Екологія
  • Видавнича справа та поліграфія
  • Інвестиції
  • Іноземна мова
  • Інформатика
  • Інформатика, програмування
  • Юрист по наследству
  • Історичні особистості
  • Історія
  • Історія техніки
  • Кибернетика
  • Комунікації і зв'язок
  • Комп'ютерні науки
  • Косметологія
  • Короткий зміст творів
  • Криміналістика
  • Кримінологія
  • Криптология
  • Кулінарія
  • Культура і мистецтво
  • Культурологія
  • Російська література
  • Література і російська мова
  • Логіка
  • Логістика
  • Маркетинг
  • Математика
  • Медицина, здоров'я
  • Медичні науки
  • Міжнародне публічне право
  • Міжнародне приватне право
  • Міжнародні відносини
  • Менеджмент
  • Металургія
  • Москвоведение
  • Мовознавство
  • Музика
  • Муніципальне право
  • Податки, оподаткування
  •  
    Бесплатные рефераты
     

     

     

     

     

     

         
     
    Обчислення висловлювань
         

     

    Інформатика, програмування

    Обчислення висловлень.

    У цій роботі ми розглянемо числення висловлювань як інструмент для визначення істинності тверджень. Потім ми розглянемо розширення числення висловлювань до обчислення предикатів. Це розширення дозволить нам будувати міркування над цілою низкою конструкцій таких, як цикли. Ми також розглянемо ідеї еквівалентності, загальнозначимих або тавтології для доказу.

    Початок обчислення висловлювань було покладено роботами Джоржа Буля. Помітивши схожість у властивостях логічних операцій ОR і AND з властивостями арифметичних операцій множення і додавання, він створив числення для обчислення Істинне утвердження подібно тому, як правила арифметичних операцій дозволяють обчислювати значення арифметичних виразів. У створеному ним численні Буль позначив символами як окремі твердження, так і цілі конструкції з тверджень.

    Будь-яке висловлювання на цьому численні може мати одне з двох значень: істина (true) або ложь (false). Нижче наведено приклади тверджень:

    Сума двох сторін трикутника більше або дорівнює третій стороні цього трикутника.

    2х2 = 4.

    "Кожен мисливець бажає знати, де сидять фазани" (перші букви слів в цій фразою визначають порядок кольорів у спектрі зліва направо).

    Для того, щоб суворо визначити спосіб запису подібних тверджень Буль запропонував поняття висловлювання.

    У таблиці 5.1. перераховані назви та позначення всіх логічних операцій, що використовуються у висловлюваннях.

    Таблиця 5.1.        

         
     
         
    Реферат Банк
     
    Рефераты
     
    Бесплатные рефераты
     

     

     

     

     

     

     

     
     
     
      Все права защищены. Reff.net.ua - українські реферати ! DMCA.com Protection Status