Меню
Главная
Авторизация/Регистрация
 
Главная arrow Математика, химия, физика arrow МАТЕМАТИЧЕСКАЯ ЛОГИКА

МАТЕМАТИЧЕСКАЯ ЛОГИКА

КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ Высказывания Логические связки высказываний Исчисление высказываний Интерпретация формул Табличный метод исчисления Метод Квайна Алгебра логики высказываний Булева алгебра Принцип подстановки Законы булевой алгебры Нормальные формулы булевых функций Приложения булевой алгебры Приложения булевой алгебры в схемотехнике переключателей Функциональная цифровая схемотехникаВыводыЗадачи для самостоятельного решенияКонтрольные вопросы и задания ЛОГИКА ВЫВОДА В ИСЧИСЛЕНИИ ВЫСКАЗЫВАНИЙ Аксиоматическая теория высказываний Методы логического вывода из гипотез Правила вывода из гипотез в логике высказываний Методы преобразования формул с использованием правил и законовВыводыЗадачи для самостоятельного решения Контрольные вопросы и задания ЛОГИКА ПРЕДИКАТОВ Исчисление одноместных предикатов Приложение логики предикатов в теории множеств Многоместные предикаты Формулы с кванторами Нормальные формулы с предикатамиЗадачи для самостоятельного решенияКонтрольные вопросы и задания ВЫВОД В ЛОГИКЕ ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА Логика вывода из гипотез в теории первого порядка Правила вывода в теории предикатов первого порядка Унификация предикатов при выводе из гипотез Алгоритм вывода из гипотез с использованием резолюции в логике предикатовВыводыЗадачи для самостоятельного решенияКонтрольные вопросы и задания ПРИМЕНЕНИЕ ЛОГИКИ В ИНФОРМАТИКЕ Описание компьютерных программ в логике Верификация (доказательство правильности) программ с помощью математической логики Логика в теории компьютера Конструирование машины умножения Применение логики к верификации алгоритмов Конструирование микропрограммного управления в логике Решение задач с прямым использованием логики Применение логики предикатов в теории графов Приложение логики к вычислениям (процедурная интерпретация логических программ) Применение логики предикатов в базах данных Логическое программирование в Прологе Декларативная (сентенциальная) семантика программ Пролога Процедурная семантика программ ПрологаВыводыЗадачи для самостоятельного решенияКонтрольные вопросы и задания НЕКЛАССИЧЕСКАЯ ЛОГИКА В ПРИЛОЖЕНИЯХ Вероятностная логика Исчисление вероятностей Применение преобразований вероятностной функции в функциональную схему Приложения к расчету надежности систем Приложения многозначной логики в моделировании схем Временное моделирование цифровых схем Четырехзначное логическое моделирование Нечеткая логика Нечеткие множества Операции с нечеткими множествами Лингвистическая переменная Нечеткий логический вывод Практическое применение нечеткой логики Логистика Темпоральная логика Интервальная логика Аллена Философская логика ВыводыЗадачи для самостоятельного решенияКонтрольные вопросы и заданияЗаключение
 
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
РЕЗЮМЕ Следующая >
 
Популярные страницы