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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
мНемає опису редагування
мНемає опису редагування
Рядок 32: Рядок 32:
* [[Формальна система|Формальна]]
* [[Формальна система|Формальна]]
** [[Формальна мова|мова]]
** [[Формальна мова|мова]]
** [[Доказ (логіка)|доведення]]
** [[Формальне доведення|доведення]]
** [[Семантика логіки|семантика]]
** [[Семантика логіки|семантика]]
}}
}}
Рядок 125: Рядок 125:
| group9 = [[Теорія доведення]]
| group9 = [[Теорія доведення]]
| list9 =
| list9 =
* [[Доказ (логіка)|Формальне доведення]]
* [[Формальне доведення]]
* [[Формальна система#Визначення та різновиди|Дедуктивна система]]
* [[Формальна система#Визначення та різновиди|Дедуктивна система]]
* [[Формальна система]]
* [[Формальна система]]
Рядок 137: Рядок 137:
| list10 =
| list10 =
* [[Рекурсія]]
* [[Рекурсія]]
* [[Розв'язна множина]]
* [[Обчисленна множина]]
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}}
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}}
* [[Проблема вибору]]
* [[Задача вибору]]
* [[Теза Черча — Тюрінга|Теза Черча]]
* [[Теза Черча — Тюрінга|Теза Черча]]
* [[Обчислювана функція]]
* [[Обчисленна функція]]
* [[Загальна рекурсивна функція|Рекурсивна функція]]
* [[Загальна рекурсивна функція|Рекурсивна функція]]



Версія за 16:27, 6 липня 2024

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

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

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

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

Контроль повноти включення шаблону