1. Books
  2. Natural Sciences
  3. Lektsii po matematike. Tom 6. Algoritmy, logika, vychislimost. Ot Diofanta do Tjuringa i Gedelja

Lektsii po matematike. Tom 6. Algoritmy, logika, vychislimost. Ot Diofanta do Tjuringa i Gedelja

Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Lektsii po matematike. Tom 6. Algoritmy, logika, vychislimost. Ot Diofanta do Tjuringa i Gedelja
Author(s)
Language
Measurements
215/148 mm
Publisher
Publication year
Format
Pages
208
ISBN
978-5-397-03412-8
 
Sold out (not kept in inventory any longer)
Notify when available Add to favourites
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Kniga posvjaschena osnovanijam matematiki, problemam vychislimosti i dokazuemosti. Mashiny Tjuringa, rekursivnye funktsii, logika, teorija modelej, nerazreshimost i neaksiomatiziruemost arifmetiki, desjataja problema Gilberta - vot krug voprosov, rassmatrivaemykh v dannoj knige. Izlozhenie otlichaetsja kratkostju i prozrachnostju. Znachitelnoe vnimanie udeljaetsja motivatsii rezultatov i prikladnym aspektam. Klassicheskaja problematika v znachitelnoj mere pereosmyslena i predstavlena v udobnom dlja vosprijatija vide. Teoremy Gedelja, naprimer, dokazyvajutsja v neskolko strochek. Dlja studentov, prepodavatelej, inzhenerov i nauchnykh rabotnikov.
Category
EAN
9785397034128
BIC category:
RN
More like this
  • Krimkova Aleksandra
    Publication year: 2020
    Paperback
    19.00 €
    17.27 € w/o VAT
  • Maltseva I.
    Publication year: 2019
    Paperback
    16.00 €
    14.55 € w/o VAT
  • V. M. Sidorov
    Publication year: 2019
    Paperback
    32.00 €
    29.09 € w/o VAT
  • I. V. Jaschenko
    Publication year: 2020
    Paperback
    9.00 €
    8.18 € w/o VAT
  • Publication year: 2021
    Hardcover
    24.00 €
    21.82 € w/o VAT
  • Publication year: 2021
    Hardcover
    24.00 €
    21.82 € w/o VAT
  • Ferriss T.
    Publication year: 2012
    Hardcover
    28.00 €
    25.45 € w/o VAT
  • Glukhov M. M.
    Publication year: 2021
    Paperback
    27.00 €
    24.55 € w/o VAT
  • Borovskij Aleksandr Davidovich
    Publication year: 2023
    Paperback
    27.00 €
    24.55 € w/o VAT
  • Publication year: 2020
    Paperback
    10.00 €
    9.09 € w/o VAT