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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=ЛОГИКА ПРЕДИКАТОВ<.>)

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

1-10 11-15

1.

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

2.

519.1
П 820

    Просветов, Георгий Иванович.
    Дискретная математика: задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - М. : Альфа-Пресс, 2016. - 240 с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.

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

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

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

3.

51
М 382


    Машины Тьюринга и рекурсивные функции [Текст] : научное издание / Г. -Д. Эббинхауз [и др.] ; пер. Э. Г. Белаги. - М. : Мир, 1972. - 264 с. : рис., табл. - (Современная математика. Популярная серия). - Пер. с нем. - Библиогр.в конце глав . - Имен. указ.: с. 249-250 . - Предм. указ.: с. 251-262. - 00.89 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.582:510.57
~РУБ 51

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

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

4.

16
И 255

    Ивлев, Юрий Васильевич.
    Логика [Текст] : учебник для вузов / Ю. В. Ивлев ; Московский государственный университет им. М. В. Ломоносова (М.). - 4-е изд., перераб. и доп. - М. : Проспект, 2013. - 304 с. : ил. - ISBN 978-5-392-09681-7 : 302.42 р., 302.39 р., 275.00 р.

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

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

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

5.

51
И 269

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стереотип. - М. : Академия, 2008. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 978-5-7695-5272-4 : 304.00 р.

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

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

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

6.

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

7.

519
Г 168

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

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

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

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

8.

004
И 907

    История и методология информатики и вычислительной техники : учебное пособие: В 2 ч. / Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники ; ред. И. Г. Боровский. - Томск : ТУСУР, 2007 - .
   Ч. 2. - Томск : ТУСУР, 2007. - 128 с. : ил., табл. - Библиогр.: с. 127-128. - 218.13 р.

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

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

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

9.

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

10.

519
Д 482


    Дискретная математика : Учебник для вузов / Е. М. Давыдова [и др.] ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра комплексной информационной безопасности электронно-вычислительных систем, Воронежский государственный технический университет. - 2-е изд., перераб. и доп. - Томск : В-Спектр, 2006. - 288 с. : ил. - Библиогр.: с. 287. - 86.40 р.

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

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- теория множеств -- отношения -- логика высказываний -- логика предикатов -- Булевы функции -- нечеткие множества -- нечеткие отношения -- нечеткая логика -- комбинаторика -- кодирование -- графы -- формальные языки -- конечные автоматы
Доп.точки доступа:
Давыдова, Елена Михайловна
Леденева, Т. М.
Мещеряков, Роман Валерьевич
Подвальный, С. Л.
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра комплексной информационной безопасности электронно-вычислительных систем
Воронежский государственный технический университет

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

1-10 11-15

Стандартный

Расширенный

По словарю

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

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