Показать сокращенную информацию
Аксиоматизация интуиционистских логик ограниченной ширины.
| Научный руководитель | Голованов, Михаил Иванович | |
| Автор | Лукьянов, Александр Владимирович | |
| Дата внесения | 2016-11-08T09:30:20Z | |
| Дата, когда ресурс стал доступен | 2016-11-08T09:30:20Z | |
| Дата публикации | 2016 | |
| Библиографическое описание | Лукьянов, Александр Владимирович. Аксиоматизация интуиционистских логик ограниченной ширины. [Электронный ресурс] : магистерская диссертация : 02.04.01 / А. В. Лукьянов. — Красноярск : СФУ, 2016. | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/27126 | |
| Язык | ru_RU | |
| Издатель | Сибирский федеральный университет | |
| Название | Аксиоматизация интуиционистских логик ограниченной ширины. | |
| Тип | Thesis | |
| Тип | Master Thesis | |
| Код специальности выпускной работы | 02.04.01 | |
| Учёная степень или квалификация, на которую выполнена работа | Магистр | |
| Место издания | Красноярск | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2016-11-08T09:30:20Z | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Базовая кафедра вычислительных и информационных технологий | |
| Специальность выпускной работы | 02.04.01 Математика и компьютерные науки | |
| Код образовательной программы выпускной работы | 02.04.01.02 | |
| Образовательная программа выпускной работы | 02.04.01.02 Вычислительная математика | |
| Информация о научном руководителе | кандидат физико-математических наук, доцент |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Магистерские диссертации [3962]