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 |
---|
001 | 40862 |
---|
002 | 19 |
---|
004 | 23C82AAF-FD22-465D-86ED-1F7D44732CBE |
---|
005 | 202304041017 |
---|
008 | 230404s1993 si eng |
---|
009 | 1 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 |
---|
856 | 1|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