Определимость и вычислимость

Определимость и вычислимость

Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами....

Сохранить в:

書目詳細資料
主要作者:	Ершов Ю. Л.
格式:	圖書
出版:	NCFU
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Сатира и современность
由: Ершов Л.

Теория нумераций
由: Ершов Ю. Л.

Математическая логика
由: Ершов Ю. Л.

Основы проектирования и расчета деталей, узлов и механизмов машин и приборов учеб. пособие
由: Ершов Д. Ю.
出版: (2023)

Теоретические основы расчета на прочность и жесткость машин и механизмов
由: Ершов Д. Ю.
出版: (2021)

Общая биохимия и спорт учебное пособие
由: Ершов, Ю. А.

Теоретические основы расчета машин и механизмов
由: Ершов Д. Ю.
出版: (2021)

Электроэнергетика. Релейная защита и автоматика электроэнергетических систем учебное пособие
由: Ершов Ю. А.
出版: (2012)

Электроэнергетика. Релейная защита и автоматика электроэнергетических систем Учебное пособие
由: Ершов Ю. А.

Обязанности судей при проведении соревнований по легкой атлетике учебно-методическое пособие для студентов специальности 022300 физическая культура и спорт и направления 034300 физическая культура
由: Ершов В. Ю.
出版: (2011)

Интегративный подход к обучению легкой атлетике учебно-методическое пособие для студентов направления 034300 «физическая культура»
由: Ершов В. Ю.
出版: (2013)

Человек. Социум. История
由: Ершов Ю. Г.

Общая химия. Биофизическая химия. Химия биогенных элементов
由: Ершов Ю. А.

Основы молекулярной диагностики. Метаболомика учебник
由: Ершов Ю.А

Коллоидная химия. Физическая химия дисперсных систем учебник
由: Ершов Ю.А

Коллоидная химия. Физическая химия дисперсных систем учебник
由: Ершов Ю.А

Коллоидная химия. Физическая химия дисперсных систем учебник
由: Ершов Ю.А

Советская сатирическая проза 20-х годов
由: Ершов Л. Ф.

Советская сатирическая проза
由: Ершов Л. Ф.

Сатирические жанры русской советской литературы
由: Ершов Л. Ф.

Русский советский роман
由: Ершов Л. Ф.

Из истории советской сатиры
由: Ершов Л. Ф.

История русской советской литературы
由: Ершов Л. Ф.

Превосходительство и превосходство…
由: Ершов П. П.
出版: (2014)

Человек и машина
由: Ершов А. П.

Старые и новые порядки
由: Ершов П. П.
出版: (2014)

А.И. Деспоту-Зеновичу
由: Ершов П. П.
出版: (2014)

Правовое и индивидуальное регулирование общественных отношений монография
由: Ершов, В. В.

Теоретические и прикладные аспекты экономики учебное пособие
由: Ершов, А. В.

Правовое и индивидуальное регулирование общественных отношений Монография
由: Ершов В.В

Технические средства радиосвязи и вещания курс лекций
由: Ершов, В. В.

Ситуационная теория индексов цен и количеств Монография
由: Ершов Э.Б

XX лет Конституции Российской Федерации. Конституционализм в теории и практике отечественной государственности: история и современность Материалы конференций
由: Ершов В.В

Расчет и проектирование элементов железнодорожного пути конспект лекций
由: Ершов В. В.
出版: (2012)

Нос. Лиро-эпическое произведение, исполненное поэзии и философии
由: Ершов П. П.
出版: (2014)

На отъезд А. П. и С. П. Ж<илиных>
由: Ершов П. П.
出版: (2014)

Введение в физику и технологию планарных наноструктур учебное пособие
由: Ершов, И. В.

Реставрация-реконструкция технически сложных памятников истории и культуры монография
由: Ершов М.Н

Русский мир и северокавказское зарубежье в XX - начале XXI века
由: Ершов В. Ф.

Метрология, стандартизация и сертификация в инфокоммуникациях учебное пособие. курс лекций
由: Ершов, В. В.