Конечно аксиоматизируемые теории » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное АВС руководство АВС руководство Мифы народов мира: энциклопедия (2008) Мифы народов мира: энциклопедия (2008) Энциклопедия травяных чаев Энциклопедия травяных чаев Декоративная роспись по дереву. Золотая хохлома Декоративная роспись по дереву. Золотая хохлома Методы обработки многомерных данных и временных рядов Методы обработки многомерных данных и временных рядов Killing Fields of World War I Killing Fields of World War I The Invasion Before Normandy: The Secret Battle of Slapton Sands The Invasion Before Normandy: The Secret Battle of Slapton Sands Hungarian army at the Barbarossa campaign in 1941 Hungarian army at the Barbarossa campaign in 1941 USS Princeton: The Life and Loss of "Sweet P" USS Princeton: The Life and Loss of "Sweet P" Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Powerful Python: Patterns and Strategies with Modern Python (Final) Powerful Python: Patterns and Strategies with Modern Python (Final) Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript
Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное Изучаем Python: программирование игр, визуализация данных, веб-приложения. 3-е изд. дополненное и переработанное АВС руководство АВС руководство Мифы народов мира: энциклопедия (2008) Мифы народов мира: энциклопедия (2008) Энциклопедия травяных чаев Энциклопедия травяных чаев Декоративная роспись по дереву. Золотая хохлома Декоративная роспись по дереву. Золотая хохлома Методы обработки многомерных данных и временных рядов Методы обработки многомерных данных и временных рядов Killing Fields of World War I Killing Fields of World War I The Invasion Before Normandy: The Secret Battle of Slapton Sands The Invasion Before Normandy: The Secret Battle of Slapton Sands Hungarian army at the Barbarossa campaign in 1941 Hungarian army at the Barbarossa campaign in 1941 USS Princeton: The Life and Loss of "Sweet P" USS Princeton: The Life and Loss of "Sweet P" Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Великие сожженные. Средневековое правосудие, святая инкви­зиция и публичные казни Powerful Python: Patterns and Strategies with Modern Python (Final) Powerful Python: Patterns and Strategies with Modern Python (Final) Рак глазами физика: механизм возникновения, профилактика, лечение, защита Рак глазами физика: механизм возникновения, профилактика, лечение, защита Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications Breathing the Fire Fighting to Survive, and Get Back to the Fight Breathing the Fire Fighting to Survive, and Get Back to the Fight Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript Modern Web Development with Angular: Build Cutting-Edge, Scalable Web Apps from Scratch with Angular, TypeScript
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Конечно аксиоматизируемые теории
Добавил: Natali26 / 22-11-2021, 21:58 /
Название: Конечно аксиоматизируемые теории
Автор: Перетятькин М.Г.
Издательство: Научная книга
Год: 1997
Формат: PDF, djvu
Страниц: 327
Размер: 12,91 Мб
Язык: русский

Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!