Раздел 2 / 5

Страница 1 / 6

1. Формальная аксиоматическая теория

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Формальные системы

Table of contents

Предисловие

1. Формальная аксиоматическая теория -

1.1. Формализация математических теорий

1.2. Общие сведения о формальных и аксиоматических системах

Контрольные вопросы

2. Классическое исчисление высказываний +

3. Логика предикатов +

Библиографический список