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

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

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

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