Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Формальные системы
Введение
Поставить закладку
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 20 стр. из этой главы.
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Введение
Практическое занятие 1. Исчисление высказываний
+
Практическое занятие 2. Предикаты и отношения
+
Практическое занятие 3. Алгебра предикатов
+
Практическое занятие 4. Исчисление предикатов
+
Библиографический список
Данный блок поддерживает скрол*