Перейти до вмісту
Головне меню
Головне меню
перемістити на бічну панель
сховати
Навігація
Головна сторінка
Поточні події
Нові редагування
Нові сторінки
Випадкова стаття
Спеціальні сторінки
Участь
Портал спільноти
Кнайпа
Довідка
Сторінка для медіа
Пошук
Знайти
Зовнішній вигляд
Пожертвувати
Створити обліковий запис
Увійти
Особисті інструменти
Пожертвувати
Створити обліковий запис
Увійти
Категорія
:
Теорія моделей
29 мов
العربية
Български
Bosanski
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Suomi
Français
Magyar
日本語
ქართული
한국어
Македонски
Norsk nynorsk
Polski
Piemontèis
Português
Русский
Slovenčina
Slovenščina
Svenska
Türkçe
اردو
中文
Редагувати посилання
Категорія
Обговорення
українська
Читати
Редагувати
Редагувати код
Переглянути історію
Інструменти
Інструменти
перемістити на бічну панель
сховати
Дії
Читати
Редагувати
Редагувати код
Переглянути історію
Загальний
Посилання сюди
Пов'язані редагування
Постійне посилання
Інформація про сторінку
Отримати вкорочену URL-адресу
Завантажити QR-код
Друк/експорт
Створити книгу
Завантажити як PDF
Версія до друку
В інших проєктах
Вікісховище
Елемент Вікіданих
Зовнішній вигляд
перемістити на бічну панель
сховати
Довідка
Матеріал з Вікіпедії — вільної енциклопедії.
Основна стаття для цієї категорії:
Теорія моделей
.
Підкатегорії
Показано 2 підкатегорії з 2.
П
Перевірка моделей
(1 С)
У
Універсальна алгебра
(1 К, 11 С)
Сторінки в категорії «Теорія моделей»
Показано 14 сторінок цієї категорії (із 14).
*
Теорія моделей
А
Алгебра (універсальна алгебра)
І
Інтерпретація (логіка)
Н
Нестандартна модель арифметики
Нестандартний аналіз
П
Підструктура (математика)
Повна теорія
Повнота (логіка)
Правильність
Т
Теорема Геделя про повноту
Теорема Льовенгейма — Сколема
Теорема про компактність
Теореми Геделя про неповноту
Ф
Фактор-структура
Категорії
:
Математична логіка
Металогіка
Прихована категорія:
Вікіпедія:Категорії, які мають основні статті
Пошук
Знайти
Категорія
:
Теорія моделей
29 мов
Додати тему