Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Говорим по-английски: Учебно-методическая разработка. /Сост.: Та- расенко В.Е. и др. ГОУ ВПО «СибГИУ». – Новокузнецк, 2004. – 28с. (3)
(Методические материалы)

Значок файла Семина О.А. Учебное пособие «Неличные формы глагола» для студентов 1 и 2 курсов, изучающих английский язык (2)
(Методические материалы)

Значок файла Семина О.А. Компьютеры. Часть 1. Учебное пособие для студентов 1 и 2 курсов, изучающих английский язык. /О.А. Семина./ – ГОУ ВПО «СибГИУ». – Новокузнецк, 2005. – 166с. (2)
(Методические материалы)

Значок файла З. В. Егорычева. Инженерная геодезия: Методические указания для студентов специальности 170200 «Машины и оборудование нефтяных и газовых промыслов» дневной и заочной формы обучения. – Красноярск, изд-во КГТУ, 2002. – 60 с. (1)
(Методические материалы)

Значок файла СУЧАСНИЙ СТАН ДЕРЖАВНОЇ ПІДТРИМКИ РОЗВИТКУ АГРАРНОГО СЕКТОРА УКРАЇНИ (2)
(Статьи)

Значок файла ОРГАНІЗАЦІЙНО-ФУНКЦІОНАЛЬНІ ЗАСАДИ ДЕРЖАВНОГО ПРОТЕКЦІОНІЗМУ В АГРОПРОМИСЛОВОМУ КОМПЛЕКСІ УКРАЇНИ (3)
(Статьи)

Значок файла Характеристика контрольно-наглядових повноважень центральних банків романо-германської системи права (3)
(Рефераты)

Каталог бесплатных ресурсов

Системы искусственного интеллекта и принятия решений

1. Цель работы

 

Цель– изучить основы алгебры логики и логического вывода.

 

2. Основные теоретические положения

2.1. Логические операции над логическими переменными

Приизучении информатики (языков программирования) возникает понятие логическойили булевской переменной, т. е. переменной, которая принимаетодно из двух возможных значений true или false (истина или ложь, 1 или 0), называемых логическими константами.

Основныелогические операции над логическими переменными:

       отрицание;

       конъ­юнкция (логическое"и");

       дизъюнкция (логическое"или");

       импликация("если...то").

Логическиеоперации называют также логическими (булевскими) функциями.

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

Отрицаниелогической переменной А, обозначается ùА, или подчеркиванием надбуквой`А, или (этот знак,правда, используется иногда для другой логической операции – эквивалентности):читается «отрицание А» или «не А» и означает противоположное Азначение. В случае, когда А принимает значение истина (И),`А принимает значение ложь (Л), и если А = false, то `А  = true.



Размер файла: 134 Кбайт
Тип файла: doc (Mime Type: application/msword)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров