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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

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

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

51
М 382


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

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

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

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

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

51
И 269

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

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

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

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

519
Г 168

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

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

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

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

004
И 907

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

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

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

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

10.

519
Д 482


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

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

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

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

11.

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

12.

51
Ш447

    Шелупанов, Александр Александрович.
    Математическая логика и теория алгоритмов : Учебное пособие / А. А. Шелупанов, В. М. Зюзьков. - Томск : STT, 2001. - 176 с. : фото. - Библиогр.: с. 173-174. - ISBN 5-93629-031-X : 44.00 р., 44.00 р., 55.00 р., 15.83 р.

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

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

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

13.

519
С 219

   Сафьянова, Елена Николаевна
    Дискретная математика : учебное пособие / Е. Н. Сафьянова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2000 - .
   Ч. 1. - 106 с. : ил, табл. - Библиогр.: с. 106. - 42.40 р., 53.00 р., 23.32 р., 190.00 р., 32.10 р., 50.00 р., 40.00 р.

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

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

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

14.

519
З-981

   Зюзьков, Валентин Михайлович
    Дискретная математика : учебное пособие / В. М. Зюзьков ; Министерство образования Российской Федерации, Кафедра компьютерных систем в управлении и проектировании, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТМЦДО, 1999 - .
   Ч. 1 : Теория множеств и математическая логика. - Томск : ТМЦДО, 1999. - 71 с. : ил., табл. - Библиогр.: с. 71. - 21.30 р., 35.50 р.

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

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

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

15.

Шифр: П733676/2010/5
Журнал

Приборы и системы. Управление, контроль, диагностика : научно-технический и производственный журнал/ НАУЧТЕХЛИТИЗДАТ (М.). - М. : Научтехлитиздат. - ISSN 2073-0004. - Выходит ежемесячно
2010г. N 5

Содержание:
Капгер, И. В. Реализация криптографических преобразований сообщений, передаваемых в промышленных сетях LON, по ГОСТ 28147-89. / И. В. Капгер, А. А. Южаков
Кл.слова: промышленные шины, надёжность, шифрование
Рыбина, Г. В. Современные подходы к реализации интеллектуального компьютерного обучения на основе разработки и использования обучающих интегрированных экспертных систем / Г. В. Рыбина
Кл.слова: модели обучения, инструментальные средства, модели эталонного курса
Челноков, С. Г. Трансформационный подход к верификации логических программ / С. Г. Челноков, Д. П. Боголюбов
Кл.слова: язык пролог, логика предикатов, аккумуляторное преобразование
Рыбина, Г. В. Автоматизированное построение полных и непротиворечивых баз знаний в интегрированных экспертных системах / Г. В. Рыбина, А. О. Дейнеко, О. В. Нистратов
Кл.слова: базы данных, таблицы решений, обучение
Лесько, С. А. Модели хранения и обработки данных в распределённых и сильно загруженных вычислительных системах. / С. А. Лесько
Кл.слова: Колмогорова уравнение, обработка заявок, стохастические процессы
Шубладзе, А. М. Адаптивное управление ПИДам регулятором с квантованием его выходного сигнала / А. М. Шубладзе, С. В. Гуляев, В. Р. Ольшванг
Кл.слова: передаточные функции, объекты, управление
Хасцаев, М. Б. Квазиуравновешиваемый, линеаризованный, многоэлектродный преобразователь параметров импеданса для АСУ ТП / М. Б. Хасцаев, Б. Д. Хасцаев
Кл.слова: многоточечное измерение, алгоритмы, измерения
Янгиров, И. Ф. Универсальный акселерометр / И. Ф. Янгиров
Кл.слова: вихревые токи, датчики, угловое ускорение
Бирюков, И. П. Новая система контроля герметичности оболочек тепловыделяющих элементов для реакторов РБМК-1000 с функциями повышения чувствительности обнаружения разгерметизации ТВЭЛов на ранних стадиях / И. П. Бирюков, С. В. Волков, В. В. Макаров
Кл.слова: диагностика, контроль, измерения
Качанов, Б. О. Контроль углов ориентации летательного аппарата с помощью спутниковой навигационной системы / Б. О. Качанов, Е. Ю. Толстолужинский
Кл.слова: скользящие интервалы, Лапласа преобразование, оценивание
Галлиев, А. Л. Измерительный генератор с колебательным контуром и автокоррекцией мощности. / А. Л. Галлиев, А. В. Оров, Н. И. Юмагулов
Кл.слова: формирователи импульсов, эталонное сопротивление, измерения
Колесникова, Светлана Ивановна. Выявление закономерностей во временных рядах при распознавании состояний сложных объектов управления / С. И. Колесникова
Кл.слова: временные ряды, распознавание состояний, объекты управления
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

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

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