Детальная информация
Название | Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости): учебное пособие: [для студентов 2-го курса Мех.-мат. фак. НГУ] |
---|---|
Авторы | Кравченко Александр Владимирович ; Кудинов Олег Викторович |
Организация | Новосибирский гос. университет. Механико-математический фак.. Каф. дискретной математики и информатики |
Электронная публикация | Новосибирск: РИЦ НГУ, 2016 |
Коллекция | Издания НГУ |
Тематика | Математическая логика (задачники) ; Математическая логика (учебники) ; Труды штатных преподавателей НГУ ; Труды преподавателей и сотрудников НГУ |
ББК | В12я73-4я04 |
Литература по отраслям знания | Математика ( В1 ) |
Тип документа | Учебник |
Тип файла | |
Язык | Русский |
Права доступа | Свободный доступ из сети Интернет (чтение, цитирование) |
Дополнительно | Все документы |
Ключ записи | RU\NSU\elcopy\590 |
Дата создания записи | 24.04.2017 |
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
Количество обращений: 27
За последние 30 дней: 27