Библиотека ТУСУРа

Базы данных

- результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

Основная база библиотеки (42)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теория алгоритмов<.>)

Общее количество найденных документов : 42
Показаны документы с 1 по 20

1-20 21-40 41-42

51
З-981

    Зюзьков, Валентин Михайлович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное методическое пособие / В. М. Зюзьков ; Томский государственный университет систем управления и радиоэлектроники. - Томск : [б. и.], 2007. - 101 с. : ил. - (Приоритетные национальные проекты. Образование). - Библиогр.: с. 101. - 40.26 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(076.1)
510.51(076.1)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- методические пособия -- задачники -- упражнения -- математическая логика -- теория алгоритмов
Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (30 экз.), счз1 (5 экз.)
Свободны: аунл (30), счз1 (5)
Постоянная гиперссылка

519
Г 168

    Галушкина, Юлия Ивановна.
    Конспект лекций по дискретной математике. С упражнениями и контрольными работами : / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис-Пресс, 2007. - 173[3] с. : ил. - (Высшее образование). - Библиогр.: с. 174. - ISBN 978-5-8112-2599-6 : 127.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- математическая логика -- множества -- отображения -- комбинаторный анализ -- логика предикатов -- теория графов -- кодирование -- теория автоматов -- теория алгоритмов
Доп.точки доступа:
Марьямов, Александр Наумович

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

51
М 346

    Матрос, Дмитрий Шаевич.
    Теория алгоритмов : учебник для вузов / Д. Ш. Матрос, Г. Б. Поднебесова. - М. : БИНОМ. Лаборатория знаний, 2008. - 202[6] с. : ил., портр., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 : 44.48 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- теория алгоритмов -- алгоритмы
Доп.точки доступа:
Поднебесова, Галина Борисовна

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

519
А 651

    Андерсон, Джеймс.
    Дискретная математика и комбинаторика : Пер. с англ. / Д. А. Андерсон ; пер. : М. М. Белова. - М. ; СПб. ; Киев : Вильямс, 2004. - 957[3] с. : ил., табл. - Библиогр.: с. 850-855. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 : 607.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- комбинаторика -- математическая логика -- теория множеств -- теория графов -- теория алгоритмов -- теория чисел -- теория вероятностей -- алгебра -- теория вычислений
Доп.точки доступа:
Белова, М. М. \пер.\

Имеются экземпляры в отделах: , аунл (8 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

51
И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : Учебное пособие для вузов / В. И. Игошин. - М. : Академия, 2004. - 446[2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2 : 199.98 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (17), счз1 (2)
Постоянная гиперссылка

519
Л 436


    Лекции по дискретной математике : Учебное пособие для вузов / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - (Учебное пособие). - Библиогр.: с. 611-614. - ISBN 5-94157-546-7 : 268.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
теория алгоритмов -- математическая логика -- теория графов -- математические модели -- дискретная математика -- учебные пособия -- теория автоматов -- информационные технологии -- комбинаторика -- множества -- алгебра
Доп.точки доступа:
Капитонова, Юлия Владимировна
Кривой, Сергей Лукьянович
Летичевский, Александр Адольфович
Луцкий, Георгий Михайлович

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

51
Ш 241

    Шапорев, Сергей Дмитриевич.
    Математическая логика. Курс лекций и практических занятий : Учебное пособие для вузов / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 410 с. : ил. - Библиогр.: с. 405. - Предм. указ.: с. 406-410. - ISBN 5-94157-702-8 : 101.15 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- математическая логика -- алгебраическая логика -- исчисление высказываний -- логика предикатов -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (57 экз.), счз1 (2 экз.)
Свободны: аунл (57), счз1 (2)
Постоянная гиперссылка

681.3
С 771

    Стариченко, Борис Евгеньевич.
    Теоретические основы информатики : Учебное пособие для вузов / Б. Е. Стариченко. - 2-е изд., перераб. и доп. - М. : Горячая линия-Телеком, 2004. - 310[2] с. : ил. - (Специальность для высших учебных заведений). - Библиогр.: с. 309-311. - ISBN 5-93517-090-6 : 170.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004(075.8)
621.391(075.8)
~РУБ 681.3

Кл.слова (ненормированные):
учебные пособия -- информатика -- теория информации -- Шеннона теория -- кодирование информации -- теория алгоритмов -- передача информации -- хранение информации -- конечные автоматы -- модели -- системы

Имеются экземпляры в отделах: , аунл (57 экз.)
Свободны: аунл (57)
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Теория алгоритмов : Учебное пособие для вузов / В. М. Зюзьков ; Федеральное агентство по образованию, Томский государственный университет. - Томск : Издательство Томского университета, 2005. - 146[2] с. : ил. - Библиогр.: с. 145-146. - ISBN 5-7511-1983-X : 160.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- теория алгоритмов -- алгоритмы -- вычислимое -- невычислимое -- лямбда-исчисление -- формальные теории -- элементарная арифметика -- асимптотические методы -- NP-полнота
Доп.точки доступа:
Федеральное агентство по образованию
Томский государственный университет

Имеются экземпляры в отделах: , аунл (45 экз.), счз1 (5 экз.)
Свободны: аунл (45), счз1 (5)
Постоянная гиперссылка

10.

51
И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : Учебное пособие для вузов / В. И. Игошин . - 2-е изд., стереотип. - М. : Академия, 2006. - 302[2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-2914-8 : 171.27 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(076.1)
510.51(076.1)
~РУБ 51

Кл.слова (ненормированные):
учебные пособия -- задачники -- математическая логика -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (48 экз.), счз1 (2 экз.)
Свободны: аунл (48), счз1 (2)
Постоянная гиперссылка

11.

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : Учебное методическое пособие / В. М. Зюзьков ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра компьютерных систем в управлении и проектировании. - Томск : ТМЦДО, 2004. - 84 с. : ил., табл. - 33.60 р., 42.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- дистанционное обучение
Доп.точки доступа:
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра компьютерных систем в управлении и проектировании

Имеются экземпляры в отделах: , аунл (6 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

12.

519.1
С 219

   Сафьянова, Елена Николаевна
    Дискретная математика : учебное пособие / Е. Н. Сафьянова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2000 - .
   Ч. 2. - Томск : ТМЦДО, 2000. - 98 с. : ил, табл. - Библиогр.: с. 98. - 49.50 р., 21.78 р., 53.00 р., 25.00 р., 20.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519.1

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ФОРМАЛЬНЫЕ ТЕОРИИ -- ИСЧИСЛЕНИЯ -- ПРЕДИКАТЫ -- ТЕОРИЯ АЛГОРИТМОВ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИФМЫ -- КОМБИНАТОРНЫЙ АНАЛИЗ -- МНОЖЕСТВА -- ЗАДАЧИ -- УПРАЖНЕНИЯ
Доп.точки доступа:
Министерство образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизированных систем управления

Имеются экземпляры в отделах: , аунл (48 экз.), счз1 (4 экз.)
Свободны: аунл (44), счз1 (4)
Постоянная гиперссылка

13.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1989. - 198[4] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.712
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- теория алгоритмов -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- нумерации -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

14.

681.3
В-949

    Вычислительные системы : сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск : [б. и.], 1995 - .
   Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск : [б. и.], 1995. - 220 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
510.6
~РУБ 681.3

Кл.слова (ненормированные):
теория вычислений -- языки спецификаций -- программирование -- семантическое программирование -- прикладная логика -- программная логика -- ресурсная динамическая логика -- RDL -- S-программы -- языки действий -- естественные языки -- СИГМА-Т3 -- теория алгоритмов -- вычислительные системы
Доп.точки доступа:
Российская Академия наук. Сибирское отделение
Институт математики им. С. Л. Соболева

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

15.

51
С 524

    Смыслова, Зинаида Александровна.
    Математическая логика и ее приложения : Учебное пособие / З. А. Смыслова. - Томск : ТАСУР, 1994. - 111, [1] с. : ил. - Библиогр.: с. 79. - (в пер.) : 00.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
519.711(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- логика высказываний -- логика кредитов -- Булевы функции -- схемы из функциональных элементов -- конечные автоматы -- алгоритмы -- теория алгоритмов -- учебные пособия

Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (3 экз.)
Свободны: аунл (22), счз1 (3)
Постоянная гиперссылка

16.

51
К 727

    Костюк, Юрий Леонидович.
    Основы алгоритмизации : Учебное пособие / Юрий Леонидович Костюк ; Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : [б. и.], 1999. - 122[2] с. : ил. - Библиогр.: с. 116-117. - (в пер.) : 24.40 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
теория алгоритмов -- алгоритмизация -- учебные пособия
Доп.точки доступа:
Кафедра автоматизированных систем управления
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (10 экз.), счз1 (1 экз.)
Свободны: аунл (10), счз1 (1)
Постоянная гиперссылка

17.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 107 : Логико-математические основы проблемы МОЗ : сборник научных трудов / Ред. Ю. Г. Косарев, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1985. - 154 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.324
~РУБ 681.3

Кл.слова (ненормированные):
вычислительные системы -- ПРИКЛАДНАЯ ЛОГИКА -- ОБРАБОТКА ДАННЫХ -- ТЕОРИЯ АЛГОРИТМОВ
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Косарев, Ю. Г. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

18.

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра компьютерных систем в управлении и проектировании. - Томск : ТМЦДО, 2004. - 233, [1] с. : ил., табл. - Библиогр.: с. 231-233. - 93.20 р., 116.50 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
519.712(075.8)
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- учебные пособия -- дистанционное обучение
Доп.точки доступа:
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра компьютерных систем в управлении и проектировании

Имеются экземпляры в отделах: , аунл (6 экз.), счз1 (2 экз.)
Свободны: аунл (6), счз1 (2)
Постоянная гиперссылка

19.

519
М 158

    Макконелл, Дж.
    Основы современных алгоритмов : учебное пособие для вузов: пер. с англ. / Дж. Макконелл ; ред. пер. С. К. Ландо, доп. М. В. Ульянов. - 2-е изд., доп. - М. : Техносфера, 2004. - 366[2] с. : ил. - (Мир программирования ; VIII-01). - Библиогр. в конце разд. - ISBN 5-94836-005-9 : 233.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.712(075.8)
~РУБ 519

Кл.слова (ненормированные):
теория алгоритмов -- учебные пособия -- программирование
Доп.точки доступа:
Ландо, С. К. \ред. пер.\
Ульянов, М. В. \доп.\

Имеются экземпляры в отделах: , аунл (7 экз.), счз1 (2 экз.)
Свободны: аунл (7), счз1 (2)
Постоянная гиперссылка

20.

517
Г 671

    Горбатов, Вячеслав Афанасьевич.
    Основы дискретной математики : учебное пособие для вузов / В. А. Горбатов. - М. : Высшая школа, 1986. - 310[2] с. : ил. - Библиогр.: с. 304-305. - Предм. указ.: с. 306-309. - 01.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
517(075.8)
512(075.8)
510.6(075.8)
~РУБ 517

Кл.слова (ненормированные):
дискретная математика -- учебные пособия -- алгебраические системы -- математическая логика -- теория графов -- мографы -- теория формальных грамматик -- теория автоматов -- теория алгоритмов

Имеются экземпляры в отделах: , аунл (35 экз.), счз1 (2 экз.)
Свободны: аунл (35), счз1 (2)
Постоянная гиперссылка

1-20 21-40 41-42

Статистика за 05.07.2024
Число запросов	78697
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)