Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn

Рудик, Олександр Борисович (2013) Різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn Інформатика та інформаційні технології в навчальних закладах.

[thumbnail of O_Rudyk_ITITVNZ_IPPO.pdf]
Перегляд
Текст
O_Rudyk_ITITVNZ_IPPO.pdf

Download (202kB) | Перегляд

Анотація

У статті висвітлюється різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn.

Тип елементу : Стаття
Ключові слова: теорія типів; теорія множин Неймана — Бернайса; теорія множин Куайна; ієрархія теорій множин Tn
Типологія: Це архівна тематика Київського університету імені Бориса Грінченка > Статті у журналах > Інші (не входять ні до фахових, ні до наукометричних баз)
Підрозділи: Це архівні підрозділи Київського університету імені Бориса Грінченка > Інститут післядипломної освіти > Кафедра природничо-математичної освіти і технологій
Користувач, що депонує: Юлія Добровольська
Дата внесення: 13 Січ 2014 09:01
Останні зміни: 26 Трав 2016 13:08
URI: https://elibrary.kubg.edu.ua/id/eprint/3174

Actions (login required)

Перегляд елементу Перегляд елементу