Викиучебник

Комбинаторы — это просто!: различия между версиями

Интерактивная навигация по истории
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Соединены строка в абзацах, картинки заменены формулами, вставлены ссылки, прочие правки.
Строка 14:
== Формальная теория ==
 
Для того, чтобы не быть голословным, необходимо чётко описать базовыеБазовые объекты комбинаторной логики, которые участвуютучаствующие в [[w:Формальная теория|формальной системе]], определяющейопределяют саму комбинаторную логику. Согласно математической практике, необходимо определитьОпределим следующие элементы формальной системы:
 
# Алфавит.
Источник — https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!