Сергей Владимирович Судоплатов

Произведения автора 3

Только полные версии книг

Монографии НГТУ

электронная книга
0
Год написания книги 2018
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух...
электронная книга
0
Год написания книги 2018
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков...

РОМАНЫ и ПОВЕСТИ

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