Перайсьці да зьместу
Галоўнае мэню
Галоўнае мэню
перанесьці ў бакавую панэль
схаваць
Навігацыя
Галоўная старонка
Выпадковы артыкул
Рубрыкацыя
Абраныя артыкулы
Удзел
Паведаміць пра памылку
Паведаміць пра памылку
Форум
Апошнія зьмены
Новыя старонкі
Дапамога
Пошук
Пошук
Выгляд
Ахвяраваньні
Стварыць уліковы запіс
Увайсьці
Асабістыя прылады
Ахвяраваньні
Стварыць уліковы запіс
Увайсьці
Старонкі для неаўтарызаваных рэдактараў
даведацца болей
Унёсак
Гутаркі
Катэгорыя
:
Фармальныя сыстэмы
22 мовы
Аԥсшәа
العربية
বাংলা
Bosanski
English
Español
Euskara
فارسی
한국어
हिन्दी
Hrvatski
Ido
ქართული
日本語
Norsk nynorsk
Scots
Srpskohrvatski / српскохрватски
Svenska
Tagalog
Українська
اردو
中文
Правіць спасылкі
Катэгорыя
Абмеркаваньне
беларуская (тарашкевіца)
Чытаць
Рэдагаваць
Рэдагаваць крыніцу
Паказаць гісторыю
Інструмэнты
Інструмэнты
перанесьці ў бакавую панэль
схаваць
Дзеяньні
Чытаць
Рэдагаваць
Рэдагаваць крыніцу
Паказаць гісторыю
Агульныя
Спасылкі на старонку
Зьвязаныя рэдагаваньні
Сталая спасылка
Зьвесткі пра старонку
Атрымаць скарочаны URL
Спампаваць QR-код
Друк/экспарт
Стварыць кнігу
Загрузіць як PDF
Вэрсія для друку
У іншых праектах
Вікісховішча
Аб’ект Вікізьвестак
Выгляд
перанесьці ў бакавую панэль
схаваць
Дапамога
Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Гэтая катэгорыя ня мае асноўнага артыкулу —
Фармальная сыстэма
. Вы можаце дапамагчы, стварыўшы яго
.
Падкатэгорыі
Гэтая катэгорыя зьмяшчае наступныя 3 падкатэгорыі з 3 агулам.
Л
Сыстэмы фармальнай лёгікі
(2 К)
М
Матэматычныя аксіёмы
(1 К, 1 С)
П
Правілы вывядзеньня
(1 С)
Катэгорыі
:
Сынтаксіс (лёгіка)
Матэматычная лёгіка
Мэталёгіка
Фармальныя тэорыі
Пошук
Пошук
Катэгорыя
:
Фармальныя сыстэмы
22 мовы
Дадаць тэму