Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> теория моделей
Печать списка
Экз. чит. зала
Доступно
2 из 8
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
2 из 2
Доступно
3 из 4
Доступно
1 из 2
Экз. чит. зала
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Экз. чит. зала
--> математика
----> математическая логика
------> теория моделей
Рубрика
- Название:
- теория моделей
- См. также:
- 22.123
Печать списка
Связанные описания:
Экз. чит. зала
Книга
Алексеев, Владимир Евгеньевич
Графы и алгоритмы. Структуры данных. Модели вычислений: Учеб. по специальности 010200 - Приклад. мат. и информатика и по направлению 510200 - Приклад. мат. и информатика
Бином. Лаборатория знаний, Интернет-Университет информационных технологий, 2011 г.
ISBN 978-5-94774-543-6, 978-5-9556-0066-6
Алексеев, Владимир Евгеньевич
Графы и алгоритмы. Структуры данных. Модели вычислений: Учеб. по специальности 010200 - Приклад. мат. и информатика и по направлению 510200 - Приклад. мат. и информатика
Бином. Лаборатория знаний, Интернет-Университет информационных технологий, 2011 г.
ISBN 978-5-94774-543-6, 978-5-9556-0066-6
На полку Доступно
2 из 8
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Заказать Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
ISBN 5-16-001975-8, 5-7782-0458-2
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
ИНФРА-М, Изд-во НГТУ, 2004 г.ISBN 5-16-001975-8, 5-7782-0458-2
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
ISBN 978-5-9916-8277-0
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
Серия: Бакалавр. Академический курс
Юрайт, 2016 г.ISBN 978-5-9916-8277-0
Доступно
2 из 2
Книга
Новак, Вилем
Математические принципы нечеткой логики: Пер. с англ.
Физматлит, 2006 г.
ISBN 5-9221-0399-7
Новак, Вилем
Математические принципы нечеткой логики: Пер. с англ.
Физматлит, 2006 г.
ISBN 5-9221-0399-7
Книга (аналит. описание)
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Доступно
3 из 4
Книга
Баврин, Иван Иванович
Новые задачи по стереометрии: Фигуры вращения правильных многогранников
Владос, 2000 г.
ISBN 5-691-00565-0
Баврин, Иван Иванович
Новые задачи по стереометрии: Фигуры вращения правильных многогранников
Владос, 2000 г.
ISBN 5-691-00565-0
Электронный ресурс (аналит. описание)
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Стукачев, Алексей Ильич
О свойствах sSigma-сводимости
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Байкалова, Кристина Андреевна
О числе моделей теорий локально свободных алгебр
б.г.
ISBN отсутствует
Байкалова, Кристина Андреевна
О числе моделей теорий локально свободных алгебр
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
Птахов, Денис Олегович
Полигоны С (P,1)-стабильной теорией
б.г.
ISBN отсутствует
Книга (аналит. описание)
Робинсон, Абрахам
Последние достижения в теории моделей
б.г.
ISBN отсутствует
Робинсон, Абрахам
Последние достижения в теории моделей
б.г.
ISBN отсутствует
Книга (аналит. описание)
Плесневич, Геральд Станиславович
Семантика схем бесструктурных понятий
б.г.
ISBN отсутствует
Плесневич, Геральд Станиславович
Семантика схем бесструктурных понятий
б.г.
ISBN отсутствует
Доступно
1 из 2
Книга
Справочная книга по математической логике. Ч. 1: Теория моделей: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 1: Теория моделей: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Цензер, Д.
Теоретико-вычислительные свойства структур с вложением
б.г.
ISBN отсутствует
Цензер, Д.
Теоретико-вычислительные свойства структур с вложением
б.г.
ISBN отсутствует
Экз. чит. зала
Книга
Теория моделей в процессах управления: Информационные и термодинамические аспекты
Наука, 1978 г.
ISBN отсутствует
Теория моделей в процессах управления: Информационные и термодинамические аспекты
Наука, 1978 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
Теория моделей и алгебраическая геометрия: О доказат. Э. Хрущовского гипотезы Морделла-Ленга : сб. ст. под ред. Э. Бускаран
МЦНМО, 2008 г.
ISBN 987-5-94057-125-4
Доступно
2 из 2
Книга
Теория моделей и ее применение: сборник научных трудов
ISBN отсутствует
Теория моделей и ее применение: сборник научных трудов
Серия: Труды института математики
Наука. Сиб. отд-ние, 1988 г.ISBN отсутствует
Доступно
3 из 3
Экз. чит. зала
Книга
Мышкис, Анатолий Дмитриевич
Элементы теории математических моделей
Наука, 1994 г.
ISBN 5-02-014850-4
Мышкис, Анатолий Дмитриевич
Элементы теории математических моделей
Наука, 1994 г.
ISBN 5-02-014850-4