✦ LIBER ✦

Проблемы разрешимости и конструктивные модели

✍ Scribed by Ершов Ю.Л.

Book ID: 127418121
Publisher: Наука
Year: 1980
Tongue: Russian
Weight: 5 MB
Series: Математическая логика и основания математики, 20
Category: Library
City: Москва

No coin nor oath required. For personal study only.

✦ Synopsis

Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).

✦ Subjects

Математическая логика

📜 SIMILAR VOLUMES

Путешествие в молодость, или Время красн

Путешествие в молодость, или Время красной морошки (Повести и рассказы): Сборник

📂 Standards 📅 1991 🏛 Современник 🌐 Russian ⚖ 237 KB

Книгу известного советского писателя, лауреата Государственной премии РСФСР имени М.Горького Юрия Рытхэу составили произведения, посвященные нелегкой жизни коренных жителей Чукотки. Повесть "Путешествие в молодость..." возвращает читателя в пятидесятые годы, когда шло не только интенсивное промышлен

Приборы и техника эксперимента. Новые фо

Приборы и техника эксперимента. Новые форвакуумные цеолитовые насосы и агрегаты промышленного типа для безмасляной откачки. (стр.160-162) Номер 2

✍ Мартинсон Е.Н., Плечев Б.И., Миронов А.И. 📂 Library 📅 1968 🌐 Russian ⚖ 806 KB

Экспертное религиоведческое исследование

Экспертное религиоведческое исследование изображения девушки в футболке с лозунгом «Православие или смерть!» на русском и греческом языках и символов в виде крестов, трёх черепов с кинжалами в зубах, буквами «Г» и «А» и аббревиатурой «СПХ»

📂 Standards 🌐 Russian ⚖ 1024 KB

Проблемы петрохимии и петрологии базальт

Проблемы петрохимии и петрологии базальтов на основе химанализа свыше 1200 пород с применением ЭВМ: диссертация на соискание ученой степени доктора геолого-минералогических наук

📂 Standards 📅 1971 🌐 Russian ⚖ 3 MB

Путешествие через эпохи [Мемуары графа К

Путешествие через эпохи [Мемуары графа Калиостро и записи его бесед с Аристотелем, Данте, Пушкиным, Эйнштейном и многими другими современниками]

📂 Standards 📅 1975 🏛 Молодая гвардия 🌐 Russian ⚖ 4 MB

Путешествуя с графом Калиостро на машине времени, читатель встречается с великими мыслителями разных времен и эпох. Он как бы слышит их перекличку и видит живую связь времен и поколений, преемственность в развитии культуры, ее «инварианты» и специфику сменявших одна другую эпох.

Проектирование и производство литых заго

Проектирование и производство литых заготовок Учеб. пособие для студентов вузов, обучающихся по направлению подгот. бакалавров и магистров ''Технология, оборудование и автоматизация машиностроит. производств'', специальностям ''Технология машиностроения'', ''Металлообрабатывающие станки и комплексы'' направления подгот. дипломир. специалистов ''Конструк.-технол. обеспечение машиностроит. производств''

✍ Кечин В.А. и др. 📂 Library 📅 2002 🏛 Владим. гос. ун-т 🌐 Russian ⚖ 5 MB