Определимость и вычислимость » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Holography: Principles and Applications (2025) Holography: Principles and Applications (2025) Ethics and Biomedical Engineering: Facing Global Health Emergencies Ethics and Biomedical Engineering: Facing Global Health Emergencies Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Artificial Intelligence Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Artificial Intelligence Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Optimization Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Optimization Applications C++ & Python for Beginners - 20th Edition 2024 C++ & Python for Beginners - 20th Edition 2024 Читець у ранковому експресі Читець у ранковому експресі Природа України. Рослини України Природа України. Рослини України Causal Inference на Python. Причинно-следственные связи в IT-разработке Causal Inference на Python. Причинно-следственные связи в IT-разработке Learn Data Science Using Python: A Quick-Start Guide Learn Data Science Using Python: A Quick-Start Guide Optimizing Generative AI Workloads for Sustainability: Balancing Performance and Environmental Impact in Generative AI Optimizing Generative AI Workloads for Sustainability: Balancing Performance and Environmental Impact in Generative AI Золотые ключи (Русские народные загадки) Золотые ключи (Русские народные загадки) Родина Родина Тихое утро Тихое утро Белый пудель (1989) Белый пудель (1989) Пастушья радуга (Латышские народные сказки) Пастушья радуга (Латышские народные сказки) Соловьята (1983) Соловьята (1983)
Holography: Principles and Applications (2025) Holography: Principles and Applications (2025) Ethics and Biomedical Engineering: Facing Global Health Emergencies Ethics and Biomedical Engineering: Facing Global Health Emergencies Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Artificial Intelligence Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Artificial Intelligence Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Optimization Applications Optimization and Computing using Intelligent Data-Driven Approaches for Decision-Making: Optimization Applications C++ & Python for Beginners - 20th Edition 2024 C++ & Python for Beginners - 20th Edition 2024 Читець у ранковому експресі Читець у ранковому експресі Природа України. Рослини України Природа України. Рослини України Causal Inference на Python. Причинно-следственные связи в IT-разработке Causal Inference на Python. Причинно-следственные связи в IT-разработке Learn Data Science Using Python: A Quick-Start Guide Learn Data Science Using Python: A Quick-Start Guide Optimizing Generative AI Workloads for Sustainability: Balancing Performance and Environmental Impact in Generative AI Optimizing Generative AI Workloads for Sustainability: Balancing Performance and Environmental Impact in Generative AI Золотые ключи (Русские народные загадки) Золотые ключи (Русские народные загадки) Родина Родина Тихое утро Тихое утро Белый пудель (1989) Белый пудель (1989) Пастушья радуга (Латышские народные сказки) Пастушья радуга (Латышские народные сказки) Соловьята (1983) Соловьята (1983)
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Определимость и вычислимость
Добавил: Почемучка / 12-03-2018, 11:24 /

Название: Определимость и вычислимость
Автор: Ершов Ю.Л.
Издательство: Научная книга
Год: 1996
Формат: PDF
Страниц: 300
Размер: 22.2 MB
Язык: Русский

В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные ?-определимости, динамической логике, ?-предикатам конечных типов.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.


Скачать Ершов Ю.Л. - Определимость и вычислимость [1996, PDF]


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





[related-news]

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

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