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