Перейти до вмісту

Категорія:Формальні системи

Матеріал з Вікіпедії — вільної енциклопедії.

Основна стаття для цієї категорії: Формальна система.

Підкатегорії

Показано 5 підкатегорій із 5.

Л

Логічні числення (1 К, 8 С)

М

Математичні аксіоми (3 К, 9 С)

П

Правила висновування (11 С)

С

Системи теорії множин (8 С)
Системи формальної логіки (1 К, 7 С)

Сторінки в категорії «Формальні системи»

Показано 8 сторінок цієї категорії (із 8).

Формальна система

А

Д

Декомпозиція

З

Змішаний розподіл

П

Правило висновування

Ф

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Формальні_системи&oldid=19363531

Категорії:

Прихована категорія:

Вікіпедія:Категорії, які мають основні статті