Сергей Владимирович Судоплатов
Жанры и тэги:
- 0
- 0
- 0
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эрен…
Подробнее
- 0
- 0
- 0
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация…
Подробнее
- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
- 0
- 0
- 0
В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образ…
Подробнее
- 0
- 0
- 0
В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образ…
Подробнее- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее
- 0
- 0
- 0
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теори…
Подробнее