С. В. Судоплатов

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...

Издательство: Юрайт
Дата выхода: январь 2021

В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Учебник поможет студенту овладеть информацией о математике как особом способе познания мира, общности ее понятий и представлений, а также о дискретной математике как важнейшем разделе математики, используемом в...

Издательство: Юрайт
Дата выхода: август 2016

В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов,...

Издательство: Юрайт
Дата выхода: август 2016

Издательство: Инфра-М
Дата выхода: апрель 2005

(ИНФРА-М) ISBN 5-7782-0458- 2 (НГТУ) В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Издательство: Инфра-М
Дата выхода: июль 2004

В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, формальных исчислений, которые образуют курс дискретной математики. Для студентов технических вузов, изучающих дискретную математику. Может служить справочным пособием по дискретной математике.

Издательство: Инфра-М
Дата выхода: январь 2002