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

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

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

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

Анотація

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

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

Actions (login required)

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