Заказ работы

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

Самые новые

Значок файла Пределы: Метод. указ./ Составители: С.Ф. Гаврикова, И.В. Касымова.–Новокузнецк: ГОУ ВПО «СибГИУ», 2003 (0)
(Методические материалы)

Значок файла Салихов В.А. Основы научных исследований в экономике минерального сырья: Учеб. пособие / СибГИУ. – Новокузнецк, 2004. – 124 с. (0)
(Методические материалы)

Значок файла Дмитрин В.П., Маринченко В.И. Механизированные комплексы для очистных работ. Учебное посо-бие/СибГИУ - Новокузнецк, 2003. – 112 с. (1)
(Методические материалы)

Значок файла Шпайхер Е. Д., Салихов В. А. Месторождения полезных ископаемых и их разведка: Учебное пособие. –2-е изд., перераб. и доп. / СибГИУ. - Новокузнецк, 2003. - 239 с. (0)
(Методические материалы)

Значок файла МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ВЫПОЛНЕНИЮ ЭКОНОМИЧЕСКОЙ ЧАСТИ ДИПЛОМНЫХ ПРОЕКТОВ Для студентов специальности "Металлургия цветных металлов" (0)
(Методические материалы)

Значок файла Учебное пособие по выполнению курсовой работы по дисциплине «Управление производством» Специальность «Металлургия черных металлов» (110100), специализация «Электрометаллургия» (110103) (0)
(Методические материалы)

Значок файла Контрольные задания по математике для студентов заочного факультета. 1 семестр. Контрольные работы №1, №2, №3/Сост.: С.А.Лактионов, С.Ф.Гаврикова, М.С.Волошина, М.И.Журавлева, Н.Д.Калюкина : СибГИУ. –Новокузнецк, 2004.-31с. (2)
(Методические материалы)

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

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

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

 

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

 

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

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

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

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

       отрицание;

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

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

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

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

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

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



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

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


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