И 269 Игошин, Владимир Иванович. Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин ; рец. В. Н. Салий. - 4-е изд., стереотип. - М. : КУРС ; М. : ИНФРА-М, 2019. - 392 с. : рис., табл. - (Бакалавриат). - ISBN 978-5-906818-08-9 (КУРС). - ISBN 978-5-16-011429-3 (ИНФРА-М, print). - ISBN 978-5-16-103684-6 (ИНФРА-М, online) : 1405.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (1 экз.) Свободны: счз1 (1) |
П 820 Просветов, Георгий Иванович. Дискретная математика: задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - М. : Альфа-Пресс, 2016. - 240 с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (1 экз.) Свободны: счз1 (1), аунл (1) |
М 382 Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г. -Д. Эббинхауз [и др.] ; пер. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис., табл. - (Современная математика. Популярная серия). - Пер. с нем. - Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262. - 00.89 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
И 255 Ивлев, Юрий Васильевич. Логика [Текст] : учебник для вузов / Ю. В. Ивлев ; Московский государственный университет им. М. В. Ломоносова (М.). - 4-е изд., перераб. и доп. - М. : Проспект, 2013. - 304 с. : ил. - ISBN 978-5-392-09681-7 : 302.42 р., 302.39 р., 275.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (3 экз.), аунл (29 экз.) Свободны: счз1 (3), аунл (29) |
И 269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 978-5-7695-5272-4 : 304.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: аунл (1 экз.) Свободны: аунл (1) |
И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2010. - 448 с. : ил., табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 400.00 р., 408.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
Г 168 Галушкина, Юлия Ивановна. Конспект лекций по дискретной математике. С упражнениями и контрольными работами : / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис-Пресс, 2007. - 173[3] с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-2599-6 : 127.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
И 907 История и методология информатики и вычислительной техники : учебное пособие: В 2 ч. / Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники ; ред. И. Г. Боровский. - Томск : ТУСУР, 2007 - . Ч. 2. - Томск : ТУСУР, 2007. - 128 с. : ил., табл. - Библиогр.: с. 127-128. - 218.13 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (95 экз.), счз1 (5 экз.) Свободны: аунл (95), счз1 (5) |
З-981 Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов : Учебное пособие для вузов / В. М. Зюзьков, А. А. Шелупанов. - 2-е изд. - М. : Горячая линия-Телеком, 2007. - 176 с. : ил. - (Специальность для высших учебных заведений). - Библиогр.: с. 173-174. - ISBN 5-93517-349-2 : Б. ц. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: счз1 (1 экз.), КИБЭВС (100) Свободны: счз1 (1), КИБЭВС (100) |
Д 482 Дискретная математика : Учебник для вузов / Е. М. Давыдова [и др.] ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра комплексной информационной безопасности электронно-вычислительных систем, Воронежский государственный технический университет. - 2-е изд., перераб. и доп. - Томск : В-Спектр, 2006. - 288 с. : ил. - Библиогр.: с. 287. - 86.40 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (1 экз.), КИБЭВС (46) Свободны: счз1 (1) |
Ш 241 Шапорев, Сергей Дмитриевич. Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : 101.15 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (57 экз.), счз1 (2 экз.) Свободны: аунл (57), счз1 (2) |
Ш447 Шелупанов, Александр Александрович. Математическая логика и теория алгоритмов : Учебное пособие / А. А. Шелупанов, В. М. Зюзьков. - Томск : STT, 2001. - 176 с. : фото. - Библиогр.: с. 173-174. - ISBN 5-93629-031-X : 44.00 р., 44.00 р., 55.00 р., 15.83 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (2 экз.) Свободны: аунл (23), счз1 (2) |
С 219 Сафьянова, Елена Николаевна Дискретная математика : учебное пособие / Е. Н. Сафьянова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2000 - . Ч. 1. - 106 с. : ил, табл. - Библиогр.: с. 106. - 42.40 р., 53.00 р., 23.32 р., 190.00 р., 32.10 р., 50.00 р., 40.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (3 экз.), аунл (31 экз.) Свободны: счз1 (3), аунл (24) |
З-981 Зюзьков, Валентин Михайлович Дискретная математика : учебное пособие / В. М. Зюзьков ; Министерство образования Российской Федерации, Кафедра компьютерных систем в управлении и проектировании, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТМЦДО, 1999 - . Ч. 1 : Теория множеств и математическая логика. - Томск : ТМЦДО, 1999. - 71 с. : ил., табл. - Библиогр.: с. 71. - 21.30 р., 35.50 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , аунл (21 экз.), счз1 (3 экз.) Свободны: аунл (21), счз1 (3) |
> Шифр: П733676/2010/5 Журнал 2010г. N 5 Капгер, И. В. Реализация криптографических преобразований сообщений, передаваемых в промышленных сетях LON, по ГОСТ 28147-89. / И. В. Капгер, А. А. Южаков Кл.слова: промышленные шины, надёжность, шифрование Рыбина, Г. В. Современные подходы к реализации интеллектуального компьютерного обучения на основе разработки и использования обучающих интегрированных экспертных систем / Г. В. Рыбина Кл.слова: модели обучения, инструментальные средства, модели эталонного курса Челноков, С. Г. Трансформационный подход к верификации логических программ / С. Г. Челноков, Д. П. Боголюбов Кл.слова: язык пролог, логика предикатов, аккумуляторное преобразование Рыбина, Г. В. Автоматизированное построение полных и непротиворечивых баз знаний в интегрированных экспертных системах / Г. В. Рыбина, А. О. Дейнеко, О. В. Нистратов Кл.слова: базы данных, таблицы решений, обучение Лесько, С. А. Модели хранения и обработки данных в распределённых и сильно загруженных вычислительных системах. / С. А. Лесько Кл.слова: Колмогорова уравнение, обработка заявок, стохастические процессы Шубладзе, А. М. Адаптивное управление ПИДам регулятором с квантованием его выходного сигнала / А. М. Шубладзе, С. В. Гуляев, В. Р. Ольшванг Кл.слова: передаточные функции, объекты, управление Хасцаев, М. Б. Квазиуравновешиваемый, линеаризованный, многоэлектродный преобразователь параметров импеданса для АСУ ТП / М. Б. Хасцаев, Б. Д. Хасцаев Кл.слова: многоточечное измерение, алгоритмы, измерения Янгиров, И. Ф. Универсальный акселерометр / И. Ф. Янгиров Кл.слова: вихревые токи, датчики, угловое ускорение Бирюков, И. П. Новая система контроля герметичности оболочек тепловыделяющих элементов для реакторов РБМК-1000 с функциями повышения чувствительности обнаружения разгерметизации ТВЭЛов на ранних стадиях / И. П. Бирюков, С. В. Волков, В. В. Макаров Кл.слова: диагностика, контроль, измерения Качанов, Б. О. Контроль углов ориентации летательного аппарата с помощью спутниковой навигационной системы / Б. О. Качанов, Е. Ю. Толстолужинский Кл.слова: скользящие интервалы, Лапласа преобразование, оценивание Галлиев, А. Л. Измерительный генератор с колебательным контуром и автокоррекцией мощности. / А. Л. Галлиев, А. В. Оров, Н. И. Юмагулов Кл.слова: формирователи импульсов, эталонное сопротивление, измерения Колесникова, Светлана Ивановна. Выявление закономерностей во временных рядах при распознавании состояний сложных объектов управления / С. И. Колесникова Кл.слова: временные ряды, распознавание состояний, объекты управления Имеются экземпляры в отделах: всего 1 : сбо (1) Свободны: сбо (1) |