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

Исследования по теории доказательств

Thumbnail
Öffnen
0e3879a660eaeee33f62b5643e633101.djvu (2.850Mb)
Datum
1983
Autor
Крайзель Г.
Metadata
Zur Langanzeige
Zusammenfassung
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин. Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/30501
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV
 

 

Stöbern

Gesamter BestandBereiche & SammlungenErscheinungsdatumAutorenTitelnSchlagwortenDiese SammlungErscheinungsdatumAutorenTitelnSchlagworten

Mein Benutzerkonto

EinloggenRegistrieren

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV