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

Математическая логика и теория алгоритмов. Учебник и практикум

С. В. Судоплатов Е.В. Овчинникова

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

Дискретная математика. Учебник и практикум

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

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

Математическая логика и теория алгоритмов. Учебник и практикум

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

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

Дискретная математика: учебник. 2-е издание

С. В. Судоплатов Елена Овчинникова

Математическая логика и теория алгоритмов Учебник

С. В. Судоплатов Елена Овчинникова

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

Элементы дискретной математики: учебник

С. В. Судоплатов Елена Овчинникова

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