Категорія:Математична логіка
Зміни шаблонів/файлів цієї версії очікують на перевірку.
Стабільна версія була перевірена 8 серпня 2016.
Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.
- Основна стаття для цієї категорії: Математична логіка.
УДК: 546
 |
Вікісховище має мультимедійні дані за темою: Математична логіка |
Підкатегорії
Показано 13 підкатегорій із 13.
А
Б
К
Л
Р
Т
Ф
Сторінки в категорії «Математична логіка»
Показано 95 сторінок цієї категорії (із 95).
