Перайсьці да зьместу

Катэгорыя:Матэматычная лёгіка

Дапамога

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі

Падкатэгорыі

Гэтая катэгорыя зьмяшчае наступныя 8 падкатэгорыяў з 8 агулам.

А

Матэматычныя аксіёмы (1 К, 1 С)

Б

Булева альгебра (1 С)

І

Лёгіка ў інфарматыцы (2 К)

К

Клясычная лёгіка (2 К, 1 С)

Н

Неклясычная лёгіка (1 К)

Т

Тэорыя альгарытмаў (2 К, 1 С)
Тэорыя доказаў (2 К)

Ф

Фармальныя сыстэмы (3 К)

Старонкі ў катэгорыі «Матэматычная лёгіка»

Паказаныя 4 старонкі гэтай катэгорыі з 4.

Матэматычная лёгіка

А

Альгарытм

М

Машына Т’юрынга

Р

Роўнасьць

Атрымана з «https://be-tarask.wikipedia.org/w/index.php?title=Катэгорыя:Матэматычная_лёгіка&oldid=2418977»

Катэгорыі: