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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

1-20 21-26

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

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

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
С 524

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

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

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

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

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

10.

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

11.

51
М 340


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

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

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

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

12.

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

13.

51
З-981

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

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

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

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

14.

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

15.

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

16.

51
У 773

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2004. - 125[3] с. : ил. - Библиогр.: с. 122. - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 (в пер.) : 78.09 р.

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

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

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

17.

51
Е 804

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

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

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

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

18.

51
Е 804

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

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

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

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

19.

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

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-26

Статистика за 03.07.2024
Число запросов	22954
Число заказов	0

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