Jazyki i ischislenija

Языки и исчисления

Tekijä(t)

Vereschagin N., Shen A.

Kieli

Venäjä

Mitat

215/145 mm

Kustantaja

MTsNMO

Ilmestymisvuosi

2012

Sidosasu

Pehmeä kansi

Sivumäärä

240

ISBN

978-5-4439-0013-1

Tuote poistunut valikoimasta.

Ilmoita kun saatavana

Esittely
Translit

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности.

Kniga napisana po materialam lektsij i seminarov, provodivshikhsja avtorami dlja studentov mladshikh kursov mekhmata MGU. V nej rasskazyvaetsja ob osnovnykh ponjatijakh matematicheskoj logiki (logika vyskazyvanij, jazyki pervogo porjadka, vyrazimost, ischislenie vyskazyvanij, razreshimye teorii, teorema o polnote, nachala teorii modelej). Izlozhenie rasschitano na uchenikov matematicheskikh shkol, studentov-matematikov i vsekh interesujuschikhsja matematicheskoj logikoj. Kniga vkljuchaet sebja okolo 200 zadach razlichnoj trudnosti.

Tuoteryhmä

Luonnontieteet

Sarja

Sovremennye lektsionnye kursy

EAN

9785443900131

YKL-kirjastoluokitus:

80.71

Lisää samankaltaisia