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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

1-20 21-26

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

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
Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : Учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 320 с. : ил. - Предм. указ.: с. 314-318. - Указ. обознач.: с. 319-320. - Б. ц.

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

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

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

51
Е 804

    Ершов, Юрий Леонидович.
    Математическая логика : Учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. : ил. - Предм. указ.: с. 335-336. - Б. ц.

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

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

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

510
З-153


    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : Б. ц.

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

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

Доп.точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Анатольевич
Шишков, Алексей Борисович

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/167678/#1
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Введение в математическую логику [Электронный ресурс] : учебное пособие / В. М. Зюзьков ; ред. С. В. Макаров ; рец. П. А. Крылов. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : рис., табл., фот. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 256-260. - Предм. указ.: с. 261-265. - ISBN 978-5-8114-3053-6 : Б. ц.

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

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- БУЛЕВЫ АЛГЕБРЫ -- ВЫЧИСЛИМОСТЬ -- СОФИЗМЫ -- ПАРАДОКСЫ -- ТЕОРИЯ МНОЖЕСТВ -- ТАВТОЛОГИИ -- РАВНОСИЛЬНОСТИ -- ТЕОРЕМЫ ГЁДЕЛЯ -- ЛАМБДА-ИСЧИСЛЕНИЕ -- ИНДУКЦИЯ

Доп.точки доступа:
Макаров, С. В. \ред.\
Крылов, П. А. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/107935/#1
Постоянная гиперссылка

51
З-981

    Зюзьков, Валентин Михайлович.
    Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТМЦДО, 2001. - 154, [2] с. : ил., портр., табл. - Библиогр.: с. 118-119. - 46.20 р.

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

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

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

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. - 233, [1] с. : ил., табл. - Библиогр.: с. 231-233. - 93.20 р., 116.50 р.

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

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

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

10.

51
З-981

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

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

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

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

11.

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

12.

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

13.

51
И 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 р.

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

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

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

14.

51
К 432

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

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

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

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

15.

51
К608

    Колмогоров, Андрей Николаевич.
    Математическая логика : Учебное пособие для вузов / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин ; Московский государственный университет им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238[2] с. : ил. - (Классический университетский учебник). - Библиогр. в конце разд. -Предм. указ.: с. 230-236. - ISBN 5-354-00389-X (в пер.) : 72.00 р.

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

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

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

16.

51
Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика. Курс лекций. Задачник-практикум и решения [Электронный ресурс] : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл., схемы. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 : Б. ц.

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

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

Доп.точки доступа:
Сукачева, Тамара Геннадьевна

Перейти к внешнему ресурсу https://reader.lanbook.com/book/167754#1
Постоянная гиперссылка

17.

51
М 340


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

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

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

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

18.

51
Н531

    Непейвода, Николай Николаевич.
    Прикладная логика : Учебное пособие для вузов / Николай Николаевич Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского государственного университета, 2000. - 490[4] с. : табл. - Библиогр.: с. 479-481. -Предм. указ.: с. 482-488. - ISBN 5-7615-0490-1 (в пер.) : 207.00 р.
Приложение:
Сопроводительный материал :-анл

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

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

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

19.

51
С 524

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

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

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

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

20.

51
С 524

   Смыслова, Зинаида Александровна
    Спецглавы математики : учебное пособие / З. А. Смыслова, Н. В. Пермякова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации. - Томск : ТМЦДО, 2001 - .
   Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО, 2001. - 80 с. : ил, табл. - Библиогр.: с. 69. - 24.00 р., 40.00 р.

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

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

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

1-20 21-26

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

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