Аксиомы Пеано
Аксиомы Пеано Основы арифметики Пеано Арифметика Пеано – это аксиоматическая система, описывающая натуральные числа и операции над ними. Аксиомы Пеано […]
Вики
Логика в информатике
Вики
Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет
Вики
Переписка Карри-Ховарда
Переписка Карри и Говарда Основы соответствия Карри-Говарда Соответствие Карри-Говарда связывает логические формулы с типами и доказательствами в лямбда-исчислении. Оно позволяет
Вики
Логика вычислимых функций
Логика для вычислимых функций Основы логики вычислимых функций (LCF) LCF – это инструмент для доказательства теорем, разработанный в Стэнфорде и
Вики
HOL (помощник по проверке)
HOL (ассистент по корректуре) Основы HOL HOL – семейство интерактивных систем доказательства теорем на основе логики высшего порядка. Системы HOL
Вики
Неразрешимая проблема
Неразрешимая проблема Теорема Геделя о неполноте Теорема утверждает, что в любой формальной системе, достаточно мощной для арифметики, существуют утверждения, которые
Вики
Динамическая логика (модальная логика)
Динамическая логика (модальная логика) Основы динамической логики Динамическая логика – это логика, которая учитывает изменения в мире. Она отличается от
Вики
Динамическая логика (модальная логика)
Динамическая логика (модальная логика) Основы динамической логики Динамическая логика – это логика, которая учитывает изменения в мире. Она отличается от
Вики
Логическая структура
Логическая структура Основы логической структуры Логическая структура позволяет представить логику в виде сигнатуры в теории типов. Доказательство формул в исходной
Вики
Интуиционистская теория типов
Интуиционистская теория типов Основы теории типов Теория типов – это формализм для описания структуры и свойств математических объектов. Она была
Вики
Интуиционистская теория типов
Интуиционистская теория типов Основы теории типов Теория типов – это формализм для описания структуры и свойств математических объектов. Она была
Вики
Унификация (информатика)
Унификация (информатика) Основы унификации Унификация – это процесс замены переменных в терминах, чтобы сделать их синтаксически равными. Унификация используется в
Вики
Исчисление событий
Исчисление событий Основы исчисления событий Исчисление событий – это математический аппарат для описания и анализа событий в контексте времени. Основано
Вики
Обратная цепочка
Обратная цепочка Основы обратной цепочки Обратная цепочка – это метод логического вывода, который работает в обратном направлении от следствий к
Вики
Логика дерева вычислений
Логика дерева вычислений Основы логики дерева вычислений (CTL) CTL – это логика для описания свойств бесконечных путей вычислений в моделях.
Вики
Теории выполнимости по модулю
Теории выполнимости по модулю Основы SMT SMT (Satisfiability Modulo Theories) – это метод решения задач, основанный на теории выполнимости. SMT-решатели
Вики
Состояние гонки
Состояние гонки Определение и последствия условий гонки Условия гонки возникают, когда два или более потока пытаются одновременно изменить один и
Вики
Симпозиум по логике в информатике
Симпозиум по логике в компьютерных науках Обзор конференции LICS LICS – это ежегодная конференция по логике в компьютерных науках, спонсируемая
Вики
Функциональная проверка
Функциональная проверка Определение и важность функциональной верификации Функциональная верификация проверяет соответствие логической схемы спецификации. Она является ключевым этапом в проектировании
Вики
Логическая оптимизация
Логическая оптимизация Основы логической оптимизации Логическая оптимизация – это процесс поиска эквивалентного представления логической схемы с ограничениями. Оптимизация является частью
Вики
Последовательная логика
Последовательная логика Основы последовательной логики Последовательная логика зависит от истории входных сигналов и состояния. Отличается от комбинационной логики отсутствием состояния.