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

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>U=510.51(075.8)<.>)

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

1-10 11-16

51
К 432

    Кирнос, И. В.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие / И. В. Кирнос ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра комплексной информационной безопасности электронно-вычислительных систем. - Томск : [б. и.], 2012. - 99 с : ил. - Библиогр.: с. 98. - Алф. указ.: с. 99. - 50.00 р., 45.00 р.

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

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

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

51
Г 855

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - М. : КноРус, 2010. - 208 с. : табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 265.00 р.

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

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- БУЛЕВА АЛГЕБРА -- МНОЖЕСТВА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫК ПРОЛОГ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Потоцкий, Сергей Иванович

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

51
И 269

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2010. - 448 с. : ил., табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2 : 400.00 р., 408.00 р.

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

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- булевы функции -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- АКСИОМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ АЛГОРИТМОВ

Имеются экземпляры в отделах: , аунл (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)
Постоянная гиперссылка

51
С 892

    Судоплатов, С. В.
    Математическая логика и теория алгоритмов : учебник / С. В. Судоплатов, Е. В. Овчинникова. - М. : Инфра-М ; Новосибирск : НГТУ, 2008. - 223[1] с. : ил., табл. - (Высшее образование). - Библиогр.: с. 212-214. - Предм. указ.: с. 215-224. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 320.00 р.

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

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

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

51
Ш 371

    Шевелев, Юрий Павлович.
    Математическая логика и теория алгоритмов : учебное пособие / Ю. П. Шевелев. - Томск : Дельтаплан, 2007. - 219[1] с. : ил., табл. - Библиогр.: с. 208-211. - Предм. указ.: с. 212-219 . - ISBN 978-5-94154-129-4 : 57.51 р.

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

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

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

51
М 340


    Математическая логика и теория алгоритмов : программа, методические указания и контрольные работы для студентов-заочников специальности 230102 / Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации ; разраб. Т. О. Перемитина. - Томск : [б. и.], 2007. - 37 с. : ил., табл. - Загл. обл. : Программа, методические указания и контрольные работы по курсу "Математическая логика и теория алгоритмов" для студентов-заочников специальности 230102 "Автоматизированные системы обработки информации и управления". - Библиогр.: с. 4. - 6.57 р.

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

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

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

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : Учебное пособие для вузов / В. М. Зюзьков, А. А. Шелупанов. - 2-е изд. - М. : Горячая линия-Телеком, 2007. - 176 с. : ил. - (Специальность для высших учебных заведений). - Библиогр.: с. 173-174. - ISBN 5-93517-349-2 : Б. ц.

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

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

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

51
З-981

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

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

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

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

10.

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)
Постоянная гиперссылка

1-10 11-16

Статистика за 18.06.2024
Число запросов	33306
Число заказов	0

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