Результаты поиска для 'su:Физико-математические науки -- Математика -- Математическая логика. Основания математики' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (162)
Места хранения
Заглавие серии
Предметные рубрики
Коллекции
Библиотека хранения
- РНБ (Московский) (146)
- РНБ (Садовая) (12)
- РНБ (Фонтанка) (2)
Языки
- английский (12)
- русский (162)

	121.		КнигаРазвитие представлений о надежности математического доказательства / В.Я. ПерминовПерминов, Василий Яковлевич -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-5/953 (3). Добавить в подборку (удалить)
	122.		КнигаАлгоритмизация и программирование вычислительных методов на языке Borland Pascal : учеб. пособие в сфере образования для студентов (курсантов) учеб. заведений, аспирантов, слушателей системы повышения квалификации и переподгот. кадров, обучающихся по специальностям водного трансп. : учеб. пособие для студентов вузов, обучающихся по группе направлений подгот. бакалавров 550000-"техн. науки"-дисциплинам "Числ. методы" и "Вычисл. методы и программирование" / С. Ю. Неклюдов ; Федер. агентство мор. и реч. трансп., Федер. гос. образоват. учреждение высш. проф. образования "С.-Петерб. гос. ун-т водных коммуникаций"Неклюдов, Сергей Юрьевич (1951-) -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/10366 (2). Добавить в подборку (удалить)
	123.		КнигаВведение в современную логику : [учебное пособие для студентов гуманитарных специальностей] / А.В. ГладкийГладкий, Алексей Всеволодович -- Автор2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-5/5686 (2). Добавить в подборку (удалить)
	124.		КнигаМатематическая теория формальных языков : учеб. пособие / А. Е. Пентус, М. Р. ПентусПентус, Анна Евгеньевна -- АвторПентус, Мати Рейнович -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-5/7313 (3). Добавить в подборку (удалить)
	125.		КнигаВведение в теорию алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 540200 "Физико-математическое образование" / В. П. Одинец, М. В. Поспелов ; Федеральное агентство по образованию, Коми гос. пед. ин-тОдинец, Владимир Петрович -- АвторПоспелов, Михаил Владимирович -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/12474 (2). Добавить в подборку (удалить)
	126.		КнигаТеория R-функций : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 010501 - "Прикладная математика и информатика" / В. О. Каледин, Е. В. Решетникова ; Федеральное агентство по образованию, Новокузнецкий фил.-ин-т гос. образовательного учреждения высш. проф. образования "Кемеровский гос. ун-т"Каледин, Валерий Олегович -- АвторРешетникова, Елена Васильевна -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-3/10240 (2). Добавить в подборку (удалить)
	127.		КнигаКомплексный анализ : [сб. докл.] / Российская акад. наук, Владикавказский науч. центр, Ин-т прикладной математики и информатики, М-во образования и науки РФ, Ростовский госуниверситет, Южно-Российский госуниверситет экономики и сервиса, Волгодонский ин-т сервиса ; [отв. ред. Ю. Ф. Коробейник, А. Г. Кусраев]2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/26689 (2). Добавить в подборку (удалить)
	128.		КнигаДинамика и развитие иерархических (многоуровневых) систем : (теоретические и прикладные аспекты) : сборник статей по материалам международной научно-практической конференции (27, 28 нояб. 2007 г.) / [под ред. Э.М. Хакимова]2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-3/28089 (1). Добавить в подборку (удалить)
	129.		КнигаВведение в дискретную математику и теорию решения экстремальных задач на конечных множествах : учебное пособие для студентов высших учебных заведений, обучающихся по специальностям 090102 "Компьютерная безопасность", 090106 "Информационная безопасность телекоммуникационных систем" / К. К. РыбниковРыбников, Константин Константинович -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-7/2289 (2). Добавить в подборку (удалить)
	130.		КнигаДискретная математика: графы и алгоритмы на графах : учебное пособие : [для студентов инженерных специальностей] / В.Н. Степанов ; М-во образования и науки Рос. Федерации, Гос. образоват. учреждение высш. проф. образования "Ом. гос. техн. ун-т"Степанов, В. Н. -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-3/31574 (2). Добавить в подборку (удалить)
	131.		КнигаОсновы теории множеств и математической логики : учеб. пособие для студентов вузов, обучающихся по направлению 521600 "Экономика" и другим экон. специальностям / Т. Л. КолесниковаКолесникова, Тамара Леонидовна -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/14544 (2). Добавить в подборку (удалить)
	132.		КнигаБулевы алгебры : учебное пособие : [для студентов, обучающихся по специальностям "Прикладная математика и информатика" и "Прикладная информатика"] / Н. В. Труб, Д. В. Нуцубидзе ; Министерство образования и науки, Московский государственный гуманитарно-экономический университетТруб, Наталья ВасильевнаНуцубидзе, Давид Вахтангович2017Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	133.		КнигаОбщие понятия теории множеств и математической логики : [учеб. пособие] / Г. Г. Белоус ; М-во образования Рос. Федерации, Нижневарт. гос. пед. ин-т, Каф. педагогики и методики нач. образованияБелоус, Галина Григорьевна -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/18398 (2). Добавить в подборку (удалить)
	134.		КнигаСлучайные величины распределения и их моделирование в среде MATHCAD-2000 : справ.-метод. пособие для науч. сотрудников, аспирантов и студентов ст. курсов / В. А. Ходаковский ; Гос. образоват. учреждение высш. проф. образования "Петерб. гос. ун-т путей сообщ."Ходаковский, Валентин Аветикович -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/46603 (2). Добавить в подборку (удалить)
	135.		КнигаДинамика и развитие иерархических (многоуровневых) систем : (теоретические и прикладные аспекты) : материалы второй Всерос. науч.-практ. конф. (26-27 окт. 2005 г.) / [редкол.: отв. ред.-Хакимов Э. М.]2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/8018 (1). Добавить в подборку (удалить)
	136.		КнигаЭлементы теории сложности алгоритмов и вычислений : учеб. пособие для студентов специальности АКБ / В.Х. Хаханян ; Московский гос. ун-т путей сообщ. (МИИТ), Каф. "Прикладная математика-2"Хаханян, Валерий Христофорович -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/29698 (1). Добавить в подборку (удалить)
	137.		КнигаОсновы математического моделирования : Учеб. пособие для аспирантов первого курса оч. и заоч. форм обучения и соискателей учен. степени канд. наук / [В.Г. Фетисов, Д.В. Медведев] ; М-во образования Рос. Федерации, Юж.-Рос. гос. ун-т экономики и сервисаФетисов, Валерий Георгиевич -- АвторМедведев, Дмитрий Викторович -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-3/21733 (2). Добавить в подборку (удалить)
	138.		КнигаПрименение многозначной логики в цифровой технике / В.А. КалинниковКалинников, В. А. -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-6/1164 (2). Добавить в подборку (удалить)
	139.		КнигаАлгоритмизация, языки и объектно-ориентированное программирование. Раздел "Математические методы анализа алгоритмов" : текст лекций : для студентов специальности "Мат. методы в экономике"-080116 / К. Ю. Федоровский, к.ф.-м.н., доц. ; Федер. агентство по образованию, Гос. образоват. учреждение высш. проф. образования "Гос. ун-т упр.", Нац. фонд подгот. кадров (НФПК)Федоровский, Константин Юрьевич (1973-) -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-4/25801 (2). Добавить в подборку (удалить)
	140.		КнигаТеория алгоритмов : учеб. пособие для студентов вузов, обучающихся по направлению "Информатика и вычисл. техника" / Б. Я. ФалевичФалевич, Борис Яковлевич -- Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-3/6751 (2). Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 162 результатов