Зміст
10 відносини: Cambridge University Press, Сигнатура, Терм, Теорема Ербрана, Унарна функція, Формальна система, Математична логіка, Значення істинності, Вільні і зв'язані змінні, Логіка першого порядку.
- Логічні вирази
- Математична логіка
Cambridge University Press
Видавництво Кембриджського університету, Кембридж, Англія Видавництво Кембриджського університету (Cambridge University Press, скор.: CUP) — видавництво, що входить до складу Кембриджського університету в Англії.
Переглянути Замкнений вираз і Cambridge University Press
Сигнатура
Сигнатура — символ або ряд символів, унікальний ідентифікатор об'єкта, предмета чи документа, наприклад.
Переглянути Замкнений вираз і Сигнатура
Терм
* Електронний терм — фізичний термін.
Переглянути Замкнений вираз і Терм
Теорема Ербрана
Теорема Ербрана — фундаментальний результат математичної логіки, отриманий Жаком Ербраном в 1930 р.
Переглянути Замкнений вираз і Теорема Ербрана
Унарна функція
Унарна функція це функція, яка приймає один аргумент.
Переглянути Замкнений вираз і Унарна функція
Формальна система
Форма́льна систе́ма (форма́льна тео́рія, аксіомати́чна тео́рія, formal system) — результат строгої формалізації теорії, яка передбачає повну абстракцію від сенсу слів використовуваної мови, причому всі умови, що регулюють вживання цих слів в теорії, явно висловлені за допомогою аксіом і правил, що дозволяють вивести одну фразу з інших.
Переглянути Замкнений вираз і Формальна система
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Переглянути Замкнений вираз і Математична логіка
Значення істинності
Значення істинності (логічне значення) — в логіці та математиці, значення, що показує відношення висловлювання до істини.
Переглянути Замкнений вираз і Значення істинності
Вільні і зв'язані змінні
В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни.
Переглянути Замкнений вираз і Вільні і зв'язані змінні
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Переглянути Замкнений вираз і Логіка першого порядку
Див. також
Логічні вирази
- Замкнений вираз
- Квантор загальності
- Польська нотація
- Правило висновування
- Правило підстановки
- Пропозиційна функція
- Пропозиція (логіка)
- Тавтологія (логіка)
- Теорема
Математична логіка
- Інтерпретація Ербрана
- Істина
- Аксіоми Пеано
- Алгоритм
- Відношення
- Відношення рівності
- Доведення (математика)
- Задача розв'язності
- Закон Пірса
- Замкнений вираз
- Змінна
- Квантова логіка
- Контрапозиція
- Літерал (математична логіка)
- Лічба
- Математична логіка
- Метаматематика
- Методи розробки алгоритмів
- Модальна логіка
- Нескінченно мала величина
- Нумерація Геделя
- Обернене відношення
- Основи математики
- Парадокс Кантора
- Парадокс Каррі
- Повна теорія
- Повнота (логіка)
- Предикат
- Пропозиція (логіка)
- Рекурсивне означення
- Рерайтинг (математика)
- Семантика логіки
- Семантична теорія істини
- Сюрреальні числа
- Таблиця математичних символів
- Тавтологія (логіка)
- Теорема Льоба
- Теорема Льовенгейма — Сколема
- Теорема про компактність
- Теореми Геделя про неповноту
- Теоретико-доказова семантика
- Теорія доведення
- Теорія множин
- Теорія моделей
- Теорія обчислюваності
- Формальна граматика
- Характеристична функція
- Частковий випадок (логіка)
- Ґратка з діленням