В. Б. Шехтман – Логики предикатов, лекция 3. Исчисление предикатов с равенством

В. Б. Шехтман – Логики предикатов, лекция 3. Исчисление предикатов с равенством

Лекция 4. В.Б. Шехтман. Модальные логики предикатов и их модели.Подробнее

Лекция 4. В.Б. Шехтман. Модальные логики предикатов и их модели.

В. Б. Шехтман – Логики предикатов, лекция 12. ПучкиПодробнее

В. Б. Шехтман – Логики предикатов, лекция 12. Пучки

В. Б. Шехтман – Логики предикатов, лекция 8. Модальная логика предикатовПодробнее

В. Б. Шехтман – Логики предикатов, лекция 8. Модальная логика предикатов

В. Б. Шехтман – Логики предикатов, лекция 1. Исчисление предикатовПодробнее

В. Б. Шехтман – Логики предикатов, лекция 1. Исчисление предикатов

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1Подробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Модальная логика 1

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатовПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов

Актуальное