TRA CỨU
thông tin biểu ghi
ISBN 9789810208721
DDC 511.8
Tác giả CN Engeler, Erwin
Nhan đề Algorithmic properties of structure : selected papers of Erwin Engeler / Erwin Engeler
Thông tin xuất bản Singapore : World Scientific, 1993
Mô tả vật lý viii, 257 pages. : illustrations ; 26 cm.
Tóm tắt 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.
Từ khóa tự do Algorithms
Từ khóa tự do Algorithmes
Từ khóa tự do Galois theory
Khoa Khoa Công nghệ Thông tin
Địa chỉ 300Q12_Kho Mượn_02(10): 086411-20
000 00000nam#a2200000u##4500
00140862
00219
00423C82AAF-FD22-465D-86ED-1F7D44732CBE
005202304041017
008230404s1993 si eng
0091 0
020 |a9789810208721
039|a20230404101756|bquyennt|c20230404101511|dquyennt|y20230329091830|zSVTT
040 |aNTT
041 |aeng
044 |asi
082 |a511.8|bE574|223
100 |aEngeler, Erwin
245 |aAlgorithmic properties of structure : |bselected papers of Erwin Engeler / |cErwin Engeler
260|aSingapore : |bWorld Scientific, |c1993
300 |aviii, 257 pages. : |billustrations ; |c26 cm.
520 |aThe 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.
541 |aTặng
653 |aAlgorithms
653 |aAlgorithmes
653 |aGalois theory
690 |aKhoa Công nghệ Thông tin
852|a300|bQ12_Kho Mượn_02|j(10): 086411-20
8561|uhttp://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/500 khoahoc/anhbiasach/40862_algorithmicthumbimage.jpg
890|a10|b0|c0|d0
Dòng Mã vạch Nơi lưu S.gọi Cục bộ Phân loại Bản sao Tình trạng Thành phần Đặt chỗ
1 086411 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 1
2 086412 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 2
3 086413 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 3
4 086414 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 4
5 086415 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 5
6 086416 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 6
7 086417 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 7
8 086418 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 8
9 086419 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 9
10 086420 Q12_Kho Mượn_02 511.8 E574 Sách mượn về nhà 10

Không có liên kết tài liệu số nào