Г 55 Глухов, Михаил Михайлович. Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : [учебное пособие по направлению подготовки (специальности) 090301 "Компьютерная безопасность", 090303 "Информационная безопасность автоматизированных систем"] / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург [и др.] : Лань, 2012. - 405 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-402. - ISBN 978-5-8114-1344-7 : 766.92 р.
Кл.слова (ненормированные): математическая логика -- функции дискретные -- алгоритмы -- УЧЕБНЫЕ ПОСОБИЯ -- ДИСКРЕТНЫЕ ФУНКЦИИ Доп.точки доступа: Шишков, Алексей Борисович Экземпляры всего: 2 кнхр (1), чз№2 (1) Свободны: кнхр (1), чз№2 (1) |
А 46 Александров, Павел Сергеевич. Введение в теорию множеств и общую топологию [Текст] : учеб. пособие [для студентов и аспирантов физ.-мат. фак. ун-тов] / П. С. Александров. - 2-е изд., стер. - СПб. ; М. ; Краснодар : ЛАНЬ, 2010. - 367 с. : ил. - (Учебники для вузов. Специальная литература) (Классическая учебная литература по математике) (Лучшие классические учебники) (Знание. Уверенность. Успех!). - ISBN 978-5-8114-0981-5 : 537.68 р.
Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- ТОПОЛОГИЯ -- ПРОСТРАНСТВА (топология) -- ТОПОЛОГИЧЕСКИЕ пространства -- ПРОЕКЦИОННые спектры -- Учебные пособия Экземпляры всего: 1 кнхр (1) Свободных экз. нет |
М 74 Моисеев, Николай Геннадьевич. Математическая логика и теория алгоритмов [Текст : Электронный ресурс] : лаб. практикум / Н. Г. Моисеев ; ГОУ ВПО "Мар. гос. техн. ун-т". - Йошкар-Ола : МарГТУ, 2011. - 211 с. : ил. - 36.75 р., 37.02 р.
Кл.слова (ненормированные): ЛАБОРАТОРНЫЕ ПРАКТИКУМЫ -- АЛГЕБРА высказываний -- алгебра логики -- логика высказываний -- логика предикатов -- АЛГОРИТМЫ (ТЕОРИЯ) Перейти к внешнему ресурсу Математическая логика и теория алгоритмов. Экземпляры всего: 60 абунл (54), чз№1 (2), чз№2 (3), кнхр (1) Свободны: абунл (42), чз№1 (2), чз№2 (1), кнхр (1) |
М 73 Множества и алгебраические структуры [Электронный ресурс] : метод. указания к выполнению контрол. работы по разделу курса математики / ГОУ ВПО "Мар. гос. техн. ун-т" ; [сост. : В. В. Иванов, Е. С. Ермошина]. - Йошкар-Ола : МарГТУ, 2010. - 75 с. : ил. - 11.30 р., 12.90 р.
Кл.слова (ненормированные): МЕТОДИЧЕСКИЕ УКАЗАНИЯ -- КОНТРОЛЬНЫЕ РАБОТЫ -- МАТЕМАТИКА -- КОЛЛОКВИУМЫ Перейти к внешнему ресурсу Множества и алгебраические структуры. Доп.точки доступа: Иванов, В. В. \сост.\ Ермошина, Е. С. \сост.\ Экземпляры всего: 206 чз№1 (2), чз№2 (2), кнхр (1), абунл (201) Свободны: чз№1 (2), чз№2 (2), кнхр (1), абунл (200) |
И 20 Иванов, Николай Игоревич. Инженерная акустика [Текст] : теория и практика борьбы с шумом : учебник для студентов вузов по направлению "Безопасность жизнедеятельности", специальности "Безопасность технол. процессов и пр-в" / Н. И. Иванов. - М. : Логос, 2008. - 422 с. : ил. - (Новая университетская библиотека). - ISBN 978-598704-286-0 : 515.10 р.
Рубрики: Безопасность жизнедеятельности Россия Кл.слова (ненормированные): ИНЖЕНЕРНАЯ АКУСТИКА -- АКУСТИКА ИНЖЕНЕРНАЯ -- Шумы -- УЧЕБНИКИ -- ГРИФ УМО ВУЗОВ по университетскому политехническому образованию -- Защита от шума -- Защита от вибрации -- Виброизоляция -- Звукоизоляция -- Звукопоглощение Экземпляры всего: 5 чз№1 (1), абунл (3), кнхр (1) Свободны: чз№1 (1), абунл (3), кнхр (1) |
Е 80 Ершов, Юрий Леонидович. Математическая логика [Текст] : [учеб. пособие] / Ю. Л. Ершов, Е. А. Палютин. - Изд. 5-е, стер. - Санкт-Петербург [и др.] : ЛАНЬ, 2005. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2 : 180.00 р.
Рубрики: Математика Россия Кл.слова (ненормированные): Математическая логика -- Учебные пособия Доп.точки доступа: Палютин, Е. А. Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
К 60 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : учеб. пособие для студентов мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - Изд. 3-е, стер. - М. : КомКнига, 2006. - 238 c. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 197.90:198.50:197.80 р.
Рубрики: Математика Россия Кл.слова (ненормированные): Математическая логика -- Учебные пособия -- Гриф Министерства высшего и среднего специального образования РФ Доп.точки доступа: Драгалин, А. Г. Экземпляры всего: 19 чз№1 (1), чз№2 (1), абунл (16), кнхр (1) Свободны: чз№1 (1), чз№2 (1), абунл (16), кнхр (1) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : [учеб. пособие для студентов вузов по специальности 032100 "Математика"] / В. И. Игошин. - Москва : Академия, 2004. - 287 c. : ил. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 246.00 р.
Кл.слова (ненормированные): Математическая логика -- Учебные пособия -- гриф министерства образования рф -- Алгоритмы (теория) Экземпляры всего: 9 чз№1 (2), чз№2 (1), абунл (5), кнхр (1) Свободны: чз№1 (2), чз№2 (1), абунл (5), кнхр (1) |
К 60 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : учеб. пособие для студентов мат. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238 с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 55.00 р.
Кл.слова (ненормированные): Математическая логика -- Учебные пособия Доп.точки доступа: Драгалин, А. Г. Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
К 66 Кормен, Томас. Алгоритмы [Текст] : построение и анализ : [учебник] / Т. Кормен, Ч. Лейзерсон, Р. Ривест ; пер. с англ. под ред. А. Шеня. - М. : МЦНМО, 1999. - 955 c. : ил. - (Классические учебники. Computer science). - ISBN 5-900916-37-5 : 50.00 р.
Кл.слова (ненормированные): Алгоритмы -- Учебники Доп.точки доступа: Лейзерсон, Чарльз Ривест, Рональд Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
Л 13 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сборник задач / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 255 c. - ISBN 5-9221-0026-2 : 80.83 р.
Кл.слова (ненормированные): Теория множеств -- Математическая логика -- Алгоритмы (теория) -- Задачи -- Учебные пособия Доп.точки доступа: Максимова, Л. Л. Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
Р 76 Российская академия наук. Сибирское отделение. Ин-т математики им. С. Л. Соболева. Сборник научных трудов [Текст] / [Редкол.:Н.Г.Загоруйко(гл.ред.) и др.];Науч.ред.Ю.Л.Ершов,С.С.Гончаров. - Новосибирск : Ин-т математики СО РАН, 1996 - . Вып. 156 : (Вычислительные системы). Структурные алгоритмические свойства вычислимости. - 152 c. - ISSN 0568-661X. - Б. ц.
Кл.слова (ненормированные): Математика -- Сборники трудов -- Вычислимость -- Алгоритмы вычислимости функций -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
Л 65 Лихтарников, Л. М. Математическая логика [Текст] : Курс лекций : Задачник-практикум и решения : Учеб. пособие для студ-ов вузов, обуч. по мат. спец. / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. - ISBN 5-8114-0082-9 : 24.70 р.
Кл.слова (ненормированные): Математическая логика -- Лекции -- Математическая логика -- Задачники Доп.точки доступа: Сукачева, Т. Г. Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
А 39 Акимов, О. Е. Дискретная математика [Текст] : учеб. пособие / О. Е. Акимов. - Комсомольск-на-Амуре : Изд-во Комсомольского-на-Амуре гос. техн. ун-та, 1996 - . Ч. 1 : Логика. - 117 c. : ил. - ISBN 5-7765-0002-8 : 9.10 р.
Кл.слова (ненормированные): Дискретная математика -- Математическая логика -- Учебные пособия Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
В 75 Воротников, С. М. Введение в математическую логику [Текст] : Учеб. пособие для электротехн. спец. вузов региона / С. М. Воротников. - Комсомольск-на-Амуре : Комсомольский-на-Амуре гос. техн. ун-т, 1996. - 128 c. : ил. - ISBN 5-230-21447-3 : 9-10 р.
Кл.слова (ненормированные): Математическая логика -- Учебные пособия Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |
Б 72 Бобков, Николай Константинович. Элементы дискретной математики [Текст] : Учеб. пособие для студ-ов вузов ,обуч-ся по спец."Програм.обеспечение вычислит.техники и автоматизир.систем" / Марийский гос.техн.ун-т. - Чебоксары : Изд-во Чуваш. ун-та, 1995. - 153 c. : ил. - ISBN 5-7677-0247-0 : 4351.00 р.
Кл.слова (ненормированные): Дискретная математика -- Учебные пособия Экземпляры всего: 146 абунл (142), чз№2 (3), кнхр (1) Свободны: абунл (133), чз№2 (3), кнхр (1) |
А 77 Апраушева, Н. Н. Новый подход к обнаружению кластеров [Текст] / Рос.АН,ВЦ. - М. : ВЦ РАН, 1993. - 63 c. - ISBN 5-201-09906-8 : 500.00 р.
Кл.слова (ненормированные): Кластеры (математика) Экземпляры всего: 1 кнхр (1) Свободны: кнхр (1) |