Шаблон:Математична логіка: відмінності між версіями
Перейти до навігації
Перейти до пошуку
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Олюсь (обговорення | внесок) мНемає опису редагування |
Олюсь (обговорення | внесок) мНемає опису редагування |
||
Рядок 32: | Рядок 32: | ||
* [[Формальна система|Формальна]] |
* [[Формальна система|Формальна]] |
||
** [[Формальна мова|мова]] |
** [[Формальна мова|мова]] |
||
** [[ |
** [[Формальне доведення|доведення]] |
||
** [[Семантика логіки|семантика]] |
** [[Семантика логіки|семантика]] |
||
}} |
}} |
||
Рядок 125: | Рядок 125: | ||
| group9 = [[Теорія доведення]] |
| group9 = [[Теорія доведення]] |
||
| list9 = |
| list9 = |
||
* [[ |
* [[Формальне доведення]] |
||
* [[Формальна система#Визначення та різновиди|Дедуктивна система]] |
* [[Формальна система#Визначення та різновиди|Дедуктивна система]] |
||
* [[Формальна система]] |
* [[Формальна система]] |
||
Рядок 137: | Рядок 137: | ||
| list10 = |
| list10 = |
||
* [[Рекурсія]] |
* [[Рекурсія]] |
||
* [[ |
* [[Обчисленна множина]] |
||
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}} |
* {{Не перекладено|Рекурсивно зліченна множина|||Recursively enumerable set}} |
||
* [[ |
* [[Задача вибору]] |
||
* [[Теза Черча — Тюрінга|Теза Черча]] |
* [[Теза Черча — Тюрінга|Теза Черча]] |
||
* [[ |
* [[Обчисленна функція]] |
||
* [[Загальна рекурсивна функція|Рекурсивна функція]] |
* [[Загальна рекурсивна функція|Рекурсивна функція]] |
||
Версія за 16:27, 6 липня 2024
Як керувати початковою видимістю цього шаблону
Для визначення видимості цього шаблону за замовчуванням додавайте параметри:
|state=collapsed
для відображення шаблону в згорнутому стані, тобто прихованим за його заголовком – наприклад,{{Математична логіка|state=collapsed}}
|state=expanded
для відображення шаблону в розгорнутому стані, тобто повністю видимим – наприклад,{{Математична логіка|state=expanded}}
|state=autocollapse
для відображення шаблону в згорнутому стані, але лише коли на сторінці присутній інший шаблон такого ж типу – наприклад,{{Математична логіка|state=autocollapse}}
Якщо не задано інакше (див. параметр |state=
у коді шаблону), за замовчуванням шаблон має стан autocollapse
.
Контроль повноти включення шаблону |
---|
Дописувачі можуть експериментувати на підсторінках пісочниця (створити | дзеркало) та тести (створити) цього шаблону. Підсторінки цього шаблону. |