Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин 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/
|
|