Каталог по предметным областям

Автор(ы): Sudoplatov S. V.
Заглавие: Classification of countable models of complete theories. [In 2 p.] : monograph.
Выходные данные: Hovosibirsk : NSTU publ., 2018.    Полное описание

Автор(ы): Sudoplatov S. V.
Заглавие: Classification of countable models of complete theories. [In 2 p.] : monograph.
Выходные данные: Hovosibirsk : NSTU publ., 2018.    Полное описание

Автор(ы): Гумерова Е. И.
Заглавие: Элементы логики в математике. Сборник самостоятельных работ для учащихся 6 класса Инженерного лицея НГТУ : учебно-методическое пособие.
Выходные данные: Новосибирск : Изд-во НГТУ, 2022.    Полное описание

Автор(ы): Гумерова Е. И.
Заглавие: Элементы математической логики. Сборник самостоятельных и контрольных работ для учащихся 5-х классов инженерного лицея НГТУ : Учебно-методическое пособие.
Выходные данные: Новосибирск : Изд-во НГТУ, 2023.    Полное описание

Автор(ы): Емельянов Д. Ю., Кулпешов Б. Ш., Судоплатов С. В.
Заглавие: Алгебры бинарных формул : монография.
Выходные данные: Новосибирск : Изд-во НГТУ, 2023.    Полное описание

Автор(ы): Малышкин В. Э.
Заглавие: Специальные главы математической логики : учебно-методическое пособие.
Выходные данные: Новосибирск, [2011].    Полное описание

Автор(ы): Пехтерева Л. В., Пирожкова Л. А.
Заглавие: Элементы логики в математике. 6 класс : [учебное пособие].
Выходные данные: Новосибирск : Изд-во НГТУ, 2021.    Полное описание

Автор(ы): Пехтерева Л. В., Пирожкова Л. А.
Заглавие: Элементы математической логики. 5 класс : [учебное пособие].
Выходные данные: Новосибирск : Изд-во НГТУ, 2020.    Полное описание

Автор(ы): Ренин С. В.
Заглавие: Спецглавы математики : электронный учебно-методический комплекс.
Выходные данные: Новосибирск, [2014].    Полное описание

Автор(ы): Рояк С. Х., Рояк М. Э.
Заглавие: Основы дискретной математики : учебное пособие [для 1 курса специальности 510200 "Прикладная математика"].
Выходные данные: Новосибирск : Изд-во НГТУ, 2003.    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Классификация счетных моделей полных теорий : [монография].
Выходные данные: Новосибирск : Изд-во НГТУ, 2014.    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Классификация счетных моделей полных теорий : [монография].
Выходные данные: Новосибирск : Изд-во НГТУ, 2014.    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Классификация счетных моделей полных теорий. [В 2 ч.] : [монография].
Выходные данные: Новосибирск : Изд-во НГТУ, 2018.    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Классификация счетных моделей полных теорий. [В 2 ч.] : [монография].
Выходные данные: Новосибирск : Изд-во НГТУ, 2018.    Полное описание

Автор(ы): Овчинникова Е. В., Судоплатов С. В.
Заглавие: Математическая логика и теория алгоритмов : учебник.
Выходные данные: Новосибирск : Изд-во НГТУ, 2010.    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Математическая логика и теория алгоритмов (С.В. Судоплатов) : электронный учебно-методический комплекс.
Выходные данные: Новосибирск, [2011].    Полное описание

Автор(ы): Судоплатов С. В.
Заглавие: Проблема Лахлана.
Выходные данные: Новосибирск : Изд-во НГТУ, 2009.    Полное описание

Автор(ы): Шегал Б. Р.
Заглавие: Специальные главы математики : электронный учебно-методический комплекс.
Выходные данные: Новосибирск, [2016].    Полное описание

Автор(ы): Яхъяева Г. Э.
Заглавие: Основы логики для бизнес-информатиков. Отображения и отношения : учебное пособие.
Выходные данные: Новосибирск : Изд-во НГТУ, 2025.    Полное описание