Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn
Институционный репозиторий Киевского университета имени Бориса Гринченко
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn
Разнообразие аксиоматических систем: теория типов, теория множеств Неймана - Бернайса, теория множеств Куайна, иерархия теорий множеств Tn A variety of axiomatic systems: theory types, set theory Neumann - Bernays, Quine set theory, hierarchy theory of sets Tn |
|
Creator |
Рудик, Олександр Борисович
|
|
Subject |
Навчально-методичні посібники
|
|
Description |
У статті висвітлюється різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn.
В статье освещается разнообразие аксиоматических систем: теория типов, теория множеств Неймана - Бернайса, теория множеств Куайна, иерархия теорий множеств Tn. The article deals with a variety of axiomatic systems: theory types, set theory Neumann - Bernays, Quine set theory, hierarchy theory of sets Tn. |
|
Date |
2013
|
|
Type |
Стаття
NonPeerReviewed |
|
Format |
text
|
|
Identifier |
http://elibrary.kubg.edu.ua/3174/1/O_Rudyk_ITITVNZ_IPPO.pdf
Рудик, Олександр Борисович (2013) Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn Інформатика та інформаційні технології в навчальних закладах. (Неопубліковано) |
|
Relation |
http://elibrary.kubg.edu.ua/3174/
|
|