В. Б. Шехтман – Логики предикатов, лекция 7. Неразрешимость логики предикатов

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

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

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

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

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

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

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

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

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

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

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

Яворская Т.Л. - Математическая логика - 8. Логика предикатов с равенствомПодробнее

Логика предикатовПодробнее

Синтаксис логики предикатовПодробнее

Предикаты доказуемости и связанные с ними алгебры. Евгений КолмаковПодробнее