|
Dòng
|
Nội dung
|
|
1
|
Algorithmic properties of structure : selected papers of Erwin Engeler / Erwin Engeler
Singapore : World Scientific, 1993
viii, 257 pages. : illustrations ; 26 cm.
Ký hiệu phân loại (DDC): 511.8
The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories.
Số bản sách:
(10)
Tài liệu số:
(0)
|
|
|
|
|