• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • español 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
Ver ítem 
  •   DSpace Principal
  • Genofond
  • Libgen
  • Ver ítem
  •   DSpace Principal
  • Genofond
  • Libgen
  • Ver ítem
JavaScript is disabled for your browser. Some features of this site may not work without it.

Введение в математическую логику

Thumbnail
Ver/
9fd88488c51afec4eb20d0279642d190.pdf (20.52Mb)
Fecha
1976
Autor
Эллиот Мендельсон
Metadatos
Mostrar el registro completo del ítem
Resumen
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.
URI
http://ir.nmu.org.ua/handle/GenofondUA/61640
Colecciones
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contacto | Sugerencias
Theme by 
Atmire NV
 

 

Listar

Todo DSpaceComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasEsta colecciónPor fecha de publicaciónAutoresTítulosMaterias

Mi cuenta

AccederRegistro

DSpace software copyright © 2002-2016  DuraSpace
Contacto | Sugerencias
Theme by 
Atmire NV