Категорія:Математична логіка
Перейти до навігації
Перейти до пошуку
Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.
- Основний елемент категорії — Математична логіка.
УДК: 546
![]() |
Вікісховище має мультимедійні дані за темою: Математична логіка |
Підкатегорії
Показано 17 підкатегорій із 17.
А
- Алгебра логіки (12 С)
- Алгебраїчна логіка (4 С)
Б
К
Л
- Логічні елементи (19 С)
М
О
Р
Т
- Теорія рекурсії (13 С)
Ф
- Формальні теорії арифметики (2 С)
Сторінки в категорії «Математична логіка»
Показано 130 сторінок цієї категорії (із 130).