Тюменская областная научная библиотека

Базы данных

- результаты поиска

Вид поиска

Электронный каталог книг

Патентная и нормативно-техническая документация

Краеведение

Журналы. Газеты. Статьи

КОЛЛЕКЦИИ

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

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

Электронный каталог книг (1)

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

Поисковый запрос: (<.>A=Скорубский, Владимир Иванович$<.>)

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

   22
   С 44

    Скорубский, Владимир Иванович (кандидат технических наук).
    Математическая логика : учебник и практикум для академического бакалавриата : для студентов высших учебных заведений, обучающихся по естественнонаучным и техническим направлениям / В. И. Скорубский, В. И. Поляков, А. Г. Зыков ; Университет ИТМО. - Москва : Юрайт, 2017. - 210, [2] с. : ил., портр. ; 24 см. - (Бакалавр. Академический курс) (УМО ВО рекомендует). - Библиогр.: с. 176-178 (26 назв.). - ISBN 978-5-534-01114-2 (в пер.) : 560.56 р.

ГРНТИ

27.03.19

ББК 22.12я73-1

Рубрики:
Математическая логика -- Учебники для высших учебных заведений

Кл.слова (ненормированные): логика высказываний -- логика вывода -- логика предикатов -- логика в информатике -- неклассическая логика
Аннотация: В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях.

Держатели документа:
Тюменская ОНБ : Орджоникидзе, 59

Доп. точки доступа:
Поляков, Владимир Иванович (кандидат технических наук)
Зыков, Анатолий Геннадьевич (кандидат технических наук)
Санкт-Петербургский государственный университет информационных технологий, механики и оптики\\

Экземпляры всего: 1
КХ (С 6) (1)
Свободны: КХ (С 6) (1)
Найти похожие

Тематический навигатор

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