Вводный курс математической логики (2007) » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Mastering Serverless Computing with AWS Lambda: Unlock Scalability, Optimize Costs, and Drive Innovation Mastering Serverless Computing with AWS Lambda: Unlock Scalability, Optimize Costs, and Drive Innovation Data Science Solutions on Azure: The Rise of Generative AI and Applied AI, 2nd Edition Data Science Solutions on Azure: The Rise of Generative AI and Applied AI, 2nd Edition Building Secure PHP Applications: A Comprehensive Guide to Protecting Your Web Applications from Threats Building Secure PHP Applications: A Comprehensive Guide to Protecting Your Web Applications from Threats Artificial Intelligence for Precision Agriculture Artificial Intelligence for Precision Agriculture Kotlin from Scratch: A Project-Based Introduction for the Intrepid Programmer Kotlin from Scratch: A Project-Based Introduction for the Intrepid Programmer Snowflake Data Engineering (Final Release) Snowflake Data Engineering (Final Release) Road to Kubernetes (Final Release) Road to Kubernetes (Final Release) Великие учёные России, которые сделали нашу страну непобедимой Великие учёные России, которые сделали нашу страну непобедимой AI and Emerging Technologies: Automated Decision-Making, Digital Forensics, and Ethical Considerations AI and Emerging Technologies: Automated Decision-Making, Digital Forensics, and Ethical Considerations Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Mathematical Methods 4 Electrotechnic Freaks Mathematical Methods 4 Electrotechnic Freaks Recent Advances in Computing Sciences Recent Advances in Computing Sciences Prompt Engineering for LLMs: The Art and Science of Building Large Language Model-Based Applications Prompt Engineering for LLMs: The Art and Science of Building Large Language Model-Based Applications Mastering Number Theory in Python Mastering Number Theory in Python Mastering Shell for DevOps: Automate, streamline, and secure DevOps workflows with modern shell scripting Mastering Shell for DevOps: Automate, streamline, and secure DevOps workflows with modern shell scripting
Mastering Serverless Computing with AWS Lambda: Unlock Scalability, Optimize Costs, and Drive Innovation Mastering Serverless Computing with AWS Lambda: Unlock Scalability, Optimize Costs, and Drive Innovation Data Science Solutions on Azure: The Rise of Generative AI and Applied AI, 2nd Edition Data Science Solutions on Azure: The Rise of Generative AI and Applied AI, 2nd Edition Building Secure PHP Applications: A Comprehensive Guide to Protecting Your Web Applications from Threats Building Secure PHP Applications: A Comprehensive Guide to Protecting Your Web Applications from Threats Artificial Intelligence for Precision Agriculture Artificial Intelligence for Precision Agriculture Kotlin from Scratch: A Project-Based Introduction for the Intrepid Programmer Kotlin from Scratch: A Project-Based Introduction for the Intrepid Programmer Snowflake Data Engineering (Final Release) Snowflake Data Engineering (Final Release) Road to Kubernetes (Final Release) Road to Kubernetes (Final Release) Великие учёные России, которые сделали нашу страну непобедимой Великие учёные России, которые сделали нашу страну непобедимой AI and Emerging Technologies: Automated Decision-Making, Digital Forensics, and Ethical Considerations AI and Emerging Technologies: Automated Decision-Making, Digital Forensics, and Ethical Considerations Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Секреты Наполеона. Сверхпамять. Внимание. Скорочтение Mathematical Methods 4 Electrotechnic Freaks Mathematical Methods 4 Electrotechnic Freaks Recent Advances in Computing Sciences Recent Advances in Computing Sciences Prompt Engineering for LLMs: The Art and Science of Building Large Language Model-Based Applications Prompt Engineering for LLMs: The Art and Science of Building Large Language Model-Based Applications Mastering Number Theory in Python Mastering Number Theory in Python Mastering Shell for DevOps: Automate, streamline, and secure DevOps workflows with modern shell scripting Mastering Shell for DevOps: Automate, streamline, and secure DevOps workflows with modern shell scripting
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Вводный курс математической логики (2007)
Добавил: SCART56 / 20-11-2017, 19:05 /

Название: Вводный курс математической логики
Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е.
Издательство: Физматлит
Год: 2007
Страниц: 125
ISBN: 978-5-9221-0278-0
Формат: PDF
Размер: 11 Мб
Язык: русский

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

Скачать Успенский В.А. и др. - Вводный курс математической логики (2007)


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





[related-news]

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

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