Шаблон:Математична логіка: відмінності між версіями

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Інтерактивний перегляд історії
[перевірена версія][перевірена версія]
← Попереднє редагування
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
уточнення
 
(Не показані 16 проміжних версій 7 користувачів)
Рядок 10: Рядок 10:
| list1 = <!--(Alphabetical (by label):)-->
| list1 = <!--(Alphabetical (by label):)-->
* [[Аксіома]]
* [[Аксіома]]
** [[Незалежність системи аксіом|незалежність]]
* [[Відношення]]
* [[Відношення]]
* [[Елемент (математика)|Елемент]]
* [[Елемент (математика)|Елемент]]
* [[Клас (теорія множин)|Клас]]
* [[Клас (теорія множин)|Клас]]
* [[Умовивід]]
* {{Не перекладено|Логічний наслідок|||Logical consequence}}
* [[Символ (логіка)|Логічний символ]]
* [[Символ (логіка)|Логічний символ]]
* [[Множина]]
* [[Множина]]
* {{Не перекладено|Правильно побудована формула|||Well-formed formula}}
* {{Не перекладено|Правильно побудована формула|||Well-formed formula}}
* {{Не перекладено|Природна дедукція|||Natural deduction}}
* {{Не перекладено|Природна дедукція|||Natural deduction}}
* [[Правило виведення]]
* [[Правило висновування]]
* {{Не перекладено|Правило побудови|||Formation rule}} <!-- Правило утворення? -->
* {{Не перекладено|Правило побудови|||Formation rule}} <!-- Правило утворення? -->
* {{Не перекладено|Синтаксис (логіка)|Синтаксис||Syntax (logic)}}
* {{Не перекладено|Синтаксис (логіка)|Синтаксис||Syntax (logic)}}
* [[Теорема]]
* [[Теорема]]
* {{Не перекладено|Теорія (математична логіка)|Теорія||Theory (mathematical logic)}}
* {{Не перекладено|Теорія (математична логіка)|Теорія||Theory (mathematical logic)}}
* {{Не перекладено|Теорія типів|||Type theory}}
* [[Теорія типів]]
| group2 = Системи
| group2 = Системи
| list2 =
| list2 =
Рядок 31: Рядок 32:
* [[Формальна система|Формальна]]
* [[Формальна система|Формальна]]
** [[Формальна мова|мова]]
** [[Формальна мова|мова]]
** [[Доказ (логіка)|доведення]]
** [[Формальне доведення|доведення]]
** [[Семантика логіки|семантика]]
** {{Не перекладено|Формальна семантика|семантика||Formal semantics (logic)}}
}}
}}


<!---group2 omitted to maintain alternating list backgrounds--->
<!---group2 omitted to maintain alternating list backgrounds--->


| group3 = [[Аристотелівська логіка|Традиційна]]
| group3 = [[Арістотелева логіка|Традиційна]]
| list3 =
| list3 =
* [[Судження]]
* [[Судження]]
Рядок 53: Рядок 54:
* [[Предикат]]
* [[Предикат]]
* [[Логічний сполучник]]
* [[Логічний сполучник]]
* [[Таблиці істинності]]
* [[Таблиця істинності]]


| group5 = [[Предикатна логіка]]
| group5 = [[Логіка предикатів|Предикатна логіка]]
| list5 =
| list5 =
* [[Логіка першого порядку|Першого порядку]]
* [[Логіка першого порядку|Першого порядку]]
Рядок 61: Рядок 62:
* [[Предикат]]
* [[Предикат]]
* [[Логіка другого порядку|Другого порядку]]
* [[Логіка другого порядку|Другого порядку]]
* {{Не перекладено|Числення одномісних предикатів|||Monadic predicate calculus}}
* [[Числення одномісних предикатів]]


<!----------------------------------------------------------------------------->
<!----------------------------------------------------------------------------->
Рядок 88: Рядок 89:
* [[Підмножина]]
* [[Підмножина]]
* [[Порожня множина|Порожня]]
* [[Порожня множина|Порожня]]
* [[Обчисленна множина|Обчисленна]]
* {{Не перекладено|Розв'язна множина|Розв'язна||Recursive set}}
* [[Скінченна множина|Скінченна]]
* [[Скінченна множина|Скінченна]]
}}
}}
Рядок 102: Рядок 103:
** [[Загальна теорія множин|Загальна]] <!--(1998)-->
** [[Загальна теорія множин|Загальна]] <!--(1998)-->
* [[Теорія множин Цермело — Френкеля|Цермело — Френкеля]] <!--(axiomatic, 1920s)-->
* [[Теорія множин Цермело — Френкеля|Цермело — Френкеля]] <!--(axiomatic, 1920s)-->
** {{Не перекладено|Теорія множин фон Неймана — Бернайса — Геделя|фон Неймана — Бернайса — Геделя||Von Neumann–Bernays–Gödel set theory}}
** [[Теорія множин фон Неймана — Бернайса — Геделя|фон Неймана — Бернайса — Геделя]]
<!--(axiomatic, 1920s–50s, conservative)-->
<!--(axiomatic, 1920s–50s, conservative)-->
*** {{Не перекладено|Теорія множин Морзе — Келлі|Морзе — Келлі||Morse–Kelley set theory}} <!--(axiomatic, 1949–60s, non-conservative)-->
*** {{Не перекладено|Теорія множин Морзе — Келлі|Морзе — Келлі||Morse–Kelley set theory}} <!--(axiomatic, 1949–60s, non-conservative)-->
Рядок 124: Рядок 125:
| group9 = [[Теорія доведення]]
| group9 = [[Теорія доведення]]
| list9 =
| list9 =
* [[Докази (логіка)|Формальне доведення]]
* [[Формальне доведення]]
* [[Формальна система#Визначення та різновиди|Дедуктивна система]]
* [[Формальна система#Визначення та різновиди|Дедуктивна система]]
* [[Формальна система]]
* [[Формальна система]]
* [[Теорема]]
* [[Теорема]]
* [[Умовивід]]
* {{Не перекладено|Логічний наслідок|||Logical consequence}}
* [[Правило виведення]]
* [[Правило висновування]]
* {{Не перекладено|Синтаксис (логіка)|Синтаксис||Syntax (logic)}}
* {{Не перекладено|Синтаксис (логіка)|Синтаксис||Syntax (logic)}}
* [[Доказові обчислення]]


| group10 = [[Теорія обчислюваності]]
| group10 = [[Теорія обчислюваності]]
| list10 =
| list10 =
* [[Рекурсія]]
* [[Рекурсія]]
* {{Не перекладено|Розв'язна множина|||Recursive set}}
* [[Обчисленна множина]]
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}}
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}}
* [[Проблема вибору]]
* [[Задача вибору]]
* [[Теза Черча]]
* [[Теза Черча — Тюрінга|Теза Черча]]
* [[Обчисленна функція]]
* {{Не перекладено|Обчислювана функція|||Computable function}}
* [[Загальна рекурсивна функція|Рекурсивна функція]]
* [[Рекурсивні функції]]


| below = [[Криза основ математики|Основи математики]]
| below = [[Криза основ математики|Основи математики]]

Поточна версія на 08:26, 21 липня 2024

{{i}} Документація шаблону

Як керувати початковою видимістю цього шаблону
Для визначення видимості цього шаблону за замовчуванням додавайте параметри:

|state=collapsed для відображення шаблону в згорнутому стані, тобто прихованим за його заголовком – наприклад, {{Математична логіка|state=collapsed}}
|state=expanded для відображення шаблону в розгорнутому стані, тобто повністю видимим – наприклад, {{Математична логіка|state=expanded}}
|state=autocollapse для відображення шаблону в згорнутому стані, але лише коли на сторінці присутній інший шаблон такого ж типу – наприклад, {{Математична логіка|state=autocollapse}}

Якщо не задано інакше (див. параметр |state= у коді шаблону), за замовчуванням шаблон має стан autocollapse.

Контроль повноти включення шаблону
Отримано з https://uk.wikipedia.org/w/index.php?title=Шаблон:Математична_логіка&oldid=43098769