Книги автора:
Сергей Владимирович Судоплатов
В нашей электронной библиотеке можно скачать книги автора Сергей Владимирович Судоплатов в формате epub, fb2, rtf, mobi, pdf себе на телефон, андроид, айфон, айпад, а так же читать онлайн и без регистрации.
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассичес... Подробнее000
ОтложитьЧитал
Математика: математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для СПО
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассичес... Подробнее000
ОтложитьЧитал
Классификация счётных моделей полных теорий. Часть 2
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Ке... Подробнее000
ОтложитьЧитал
Классификация счётных моделей полных теорий. Часть 1
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух о... Подробнее000
ОтложитьЧитал
В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Для студентов техн... Подробнее000
ОтложитьЧитал
Дискретная математика 5-е изд., испр. и доп. Учебник и практикум для академического бакалавриата
В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Учебник поможет ст... Подробнее000
ОтложитьЧитал
