What do you think?
Rate this book
Языки и Исчисления
Книга написана по материалам лекций и семинаров, проводившихся
авторами для студентов младших курсов мехмата МГУ. В ней рассказывается
об основных понятиях математической логики (логика высказываний,
языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков
и всех интересующихся математической логикой. Книга содержит
около 200 задач различной трудности.
авторами для студентов младших курсов мехмата МГУ. В ней рассказывается
об основных понятиях математической логики (логика высказываний,
языки первого порядка, выразимость, исчисление высказываний,
разрешимые теории, теорема о полноте, начала теории моделей). Изложение
рассчитано на учеников математических школ, студентов-математиков
и всех интересующихся математической логикой. Книга содержит
около 200 задач различной трудности.
240 pages, ebook
Published January 1, 2012
2 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.