Четверг, 28.03.2024, 17:23
Приветствую Вас Гость | RSS

Шпаргалка

Шпоры для школьников и студентов

Ответы на экзамен, зачет, коллоквиум, ЕГЭ, ГИА и многое другое

Образование и наука

ответы, шпоры, астрономия, биология, география, информатика, история, культурология, литература, математика, материаловедение, машиностроение, медицина
обществознание и политология, педагогика, психология, социология, химия, физика, филология, философия, экология, экономика, электротехника, энергетика, юриспруденция

Скачать шпаргалки

Шпоры по математической логике

Главная » Файлы » Технические науки » Математика

Шпоры по математической логике

Для скачивания материала Вам нужно зарегистрироваться

[ Скачать шпаргалку(336.5 Kb) ]
18.08.2015, 14:21

Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований. Сколемовская стандартная форма формулы. Основные аксиомы вывода. Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств. Логика нечётких высказываний. Основные понятия. Реляционная алгебра. Основные и дополнительные унарные операторы. Реляционная логика. Основные понятия.

Категория: Математика | Добавил: kkent | Теги: Шпоры, математической, логике, по, Математика
Просмотров: 1993 | Загрузок: 681 | Рейтинг: 0.0/0
Всего комментариев: 0
avatar
Вход на сайт
Логин:
Пароль:
Поиск
мы в соц.сетях
Статистика
Рейтинг@Mail.ru
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Облако

Шпаргалка © 2024
uCoz