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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

Найдено в других БД:

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

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

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

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

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

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

1-10 11-20 21-30 31-40 41-50 51-60

53
А 177

    Абушкин, Харис Хамзеевич.
    Методика проблемного обучения физике [Электронный ресурс] : учебное пособие для вузов / Х. Х. Абушкин ; рец. Л. В. Масленникова. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2023. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 169-173. - ISBN 978-5-534-09588-3 : Б. ц.

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

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

Доп.точки доступа:
Масленникова, Л. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/metodika-problemnogo-obucheniya-fizike-514984#page/1
Постоянная гиперссылка

16
Р 830

    Руденко, Андрей Михайлович.
    Логика [Текст] : учебное пособие / А. М. Руденко ; рец.: Е. Е. Несмеянов, П. А. Пономарев, Г. В. Лосик. - 4-е изд. - Ростов н/Д : Феникс, 2022. - 253 с. : табл., схемы. - (Высшее образование). - Библиогр.: с. 246-249. - ISBN 978-5-222-36835-0 : 508.00 р.

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

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

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

А
С 823

    Сторожев, Сергей Александрович.
    Адаптивная групповая логико-динамическая система автоматического управления газотурбинного двигателя на базе нечеткого подхода [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.3.3 - Автоматизация и управление технологическими процессами и производствами / С. А. Сторожев ; науч. рук. А. А. Южаков. - Пермь, 2023. - 25 с. : рис., схемы. - Библиогр.: с. 24-25

    Коды, Ключ.слова, Доп.точки доступа
УДК
629.426(043.3)
66-933.6(043.3)
~РУБ А

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

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

16
М 692

    Михалкин, Николай Васильевич.
    Логика и аргументация для юристов [Электронный ресурс] : учебник и практикум для вузов / Н. В. Михалкин ; рец. В. Е. Сафронов. - 4-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2023. - on-line : ил. - (Высшее образование). - Библиогр.: с. 362-364. - ISBN 978-5-534-15963-9 : Б. ц.

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

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

Доп.точки доступа:
Сафронов, В. Е. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/logika-i-argumentaciya-dlya-yuristov-510366#page/1
Постоянная гиперссылка

А
М 692

    Михелев, Владимир Владимирович.
    Системно-объектный детерминантный анализ сложных прикладных объектов исследования [Текст] : автореферат диссертации ... кандидата технических наук: 2.3.1 / В. В. Михелев ; Белгородский государственный национальный исследовательский университет (Белгород), кафедра прикладной информатики и информационных технологий. - Белгород, 2023. - 27 с. : рис.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004
303.732.4
~РУБ А

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

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

512
В 240


    Введение в алгебру и математический анализ [Электронный ресурс] : учебное пособие для вузов / Е. А. Павлов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2023. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 64. - ISBN 978-5-507-44894-4 : Б. ц.

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

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

Доп.точки доступа:
Павлов, Евгений Александрович
Рудницкий, Олег Иванович
Фурменко, Александр Иванович
Шамилев, Тимур Мидатович

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

519
С 440

    Скоба, Андрей Николаевич.
    Дискретная математика [Электронный ресурс] : учебное пособие / А. Н. Скоба, М. Л. Логанчук, Г. И. Саенко ; рец.: Д. В. Гринченков, П. В. Иванов ; Министерство науки и высшего образования РФ, Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск). - Электрон. текстовые дан. - Новочеркасск : ЮРГПУ (НПИ), 2022. - on-line : табл., рис. - Библиогр.: с. 94-95. - ISBN 978-5-9997-0804-5 : Б. ц.

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

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

Доп.точки доступа:
Логанчук, Мария Леонидовна
Саенко, Геннадий Иванович
Гринченков, Д. В. \рец.\
Иванов, П. В. \рец.\
Министерство науки и высшего образования РФ
Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск)

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

519
М 758

    Молотникова, Антонина Александровна.
    Основы эконометрики [Электронный ресурс] : учебное пособие / А. А. Молотникова ; рец.: Л. В. Борисова, И. А. Енгибарян. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 154-157. - Предм. указ.: с. 158-161. - ISBN 978-5-8114-3033-8 : Б. ц.

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

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

Доп.точки доступа:
Борисова, Л. В. \рец.\
Енгибарян, И. А. \рец.\

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

10.

004
Б 435

    Белов, А. В.
    Микроконтроллеры AVR: от азов программирования до создания практических устройств [Текст] : практический самоучитель / А. В. Белов. - 2-е изд., перераб. и доп. + виртуальный диск с видеокурсами. - СПб. : Наука и техника, 2020. - 542 с. : схемы, табл. - Библиогр.: с. 542. - ISBN 978-5-94387-874-9 : 792.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.3'144:621.3.049.77(076.5)
~РУБ 004

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

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

11.

А
Т 187

    Таныгин, Максим Олегович.
    Методы, модели и вычислительные устройства обработки атрибутивных данных ограниченного размера [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.05 - Элементы и устройства вычислительной техники и систем управления / М. О. Таныгин ; науч. конс. С. Г. Емельянов. - Курск, 2022. - 39 с. : граф., рис., схемы, табл. - Библиогр.: с. 34-39

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.02:004.04(043.3)
~РУБ А

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

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

12.

51
М 183


    Малая математическая энциклопедия [Текст] / Э. Фрид [и др.] ; пер.: Я. Кочиш, М. Соколов ; ред. пер.: Ю. Н. Благовещенский, Б. Кочиш = Matematikai kisenciklopedia / Fried E., Pasztor I., Reiman I., Revesz P., Ruzsa I. : энциклопедия. - Будапешт : Издательство АН Венгрии, 1976. - 695 с. - Пер. с венгерского. - Предм. указ.: с. 671-693. - ISBN 963-05-0844-3 : 03.60 р.

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

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

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

13.

519
Р 935

    Рыбин, Сергей Витальевич.
    Дискретная математика и информатика [Электронный ресурс] : учебник для вузов / С. В. Рыбин ; рец. Ф. А. Новиков ; отв. ред. В. В. Яески. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 725-730. - Предм. указ.: с. 734-747. - ISBN 978-5-8114-8566-6 : Б. ц.

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

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

Доп.точки доступа:
Новиков, Ф. А. \рец.\
Яески, В. В. \отв. ред.\

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

14.

519
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Электронный ресурс] : учебное пособие / И. В. Бабичева ; рец.: А. А. Колоколов, В. А. Далингер. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : Б. ц.

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

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

Доп.точки доступа:
Колоколов, А. А. \рец.\
Далингер, В. А. \рец.\

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

15.

510
Г 554

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов, А. Б. Шишков ; рец.: В. Б. Алексеев, В. П. Зязин. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 : Б. ц.

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

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

Доп.точки доступа:
Шишков, Алексей Борисович
Алексеев, В. Б. \рец.\
Зязин, В. П. \рец.\

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

16.

004
К 889

    Кудрявцева, Ирина Андреевна.
    Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 588-595. - ISBN 978-5-534-11088-3 : Б. ц.

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

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

Доп.точки доступа:
Швецкий, Михаил Владимирович
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-teoriya-tipov-444496#page/1
Постоянная гиперссылка

17.

681.5
С 325

    Серебряков, Александр Сергеевич.
    Автоматика [Электронный ресурс] : учебник и практикум для вузов / А. С. Серебряков, Д. А. Семенов, Е. А. Чернов ; рец.: Б. В. Папков, В. Г. Титов ; ред. А. С. Серебряков. - 2-е изд. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line : рис., схемы, табл. - (Высшее образование). - Библиогр.: с. 471-473. - ISBN 978-5-534-15043-8 : Б. ц.

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

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

Доп.точки доступа:
Семенов, Дмитрий Александрович
Чернов, Евгений Александрович
Папков, Б. В. \рец.\
Титов, В. Г. \рец.\
Серебряков, Александр Сергеевич \ред.\

Перейти к внешнему ресурсу https://urait.ru/viewer/avtomatika-486436#page/1
Постоянная гиперссылка

18.

519
М 215

    Мальцев, Иван Анатольевич.
    Дискретная математика [Электронный ресурс] : учебное пособие / И. А. Мальцев. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279. - Предм. указ.: с. 280-287. - ISBN 978-5-8114-1010-1 : Б. ц.

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

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

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

19.

004
З-673

    Златопольский, Дмитрий Михайлович.
    400 вопросов по информатике на логику и смекалку [Электронный ресурс] : научно-популярная литература / Д. М. Златопольский ; ред. Д. А. Мовчан. - Электрон. текстовые дан. - М. : ДМК Пресс, 2021. - on-line : табл., рис. - Библиогр.: с. 226. - ISBN 978-5-97060-898-2 : Б. ц.

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

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

Доп.точки доступа:
Мовчан, Д. А. \ред.\

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

20.

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

1-10 11-20 21-30 31-40 41-50 51-60

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

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