|
Dòng
|
Nội dung
|
|
1
|
Algorithmic information theory / Gregory J Chaitin
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987
x, 175 pages. ; 25 cm.
Ký hiệu phân loại (DDC): 006.31
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Goedel's incompleteness theorem, using an information theoretic approach based on the size of computer programs.
Số bản sách:
(1)
Tài liệu số:
(0)
|
|
2
|
An introduction to formal languages and automata / Peter Linz
Sudbury, Mass. : Jones and Bartlett Publishers,1996
xix, 377 pages. : illustrations ; 24 cm.
Ký hiệu phân loại (DDC): 005.131
Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is designed for an introductory course for computer science and computer engineering majors who have knowledge of some higher-level programming language, the fundamentals of
Số bản sách:
(1)
Tài liệu số:
(0)
|
|
3
|
Automata and computability / Dexter C. Kozen
New York : Springer, 1997
407 p. ; cm.
Ký hiệu phân loại (DDC): 004.0151
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging
Số bản sách:
(0)
Tài liệu số:
(1)
|
|
4
|
|
|
5
|
Fundamentals of machine theory and mechanisms / Antonio Simón Mata...[al et]
Switzerland : Springer, 2016
(xi, 409 pages) : illustrations ; 25 cm.
Ký hiệu phân loại (DDC): 511.3
This book covers the basic contents for an introductory course in Mechanism and Machine Theory. The topics dealt with are: kinematic and dynamic analysis of machines, introduction to vibratory behaviour, rotor and piston balance, kinematics of gears, ordinary and planetary gear trains and synthesis of planar mechanisms. A new approach to dimensional synthesis of mechanisms based on turning functions has been added for closed and open path generation using an optimization method based on evolutionary algorithms. The text, developed by a group of experts in kinematics and dynamics of mechanisms at the University of Málaga, Spain, is clear and is supported by more than 350 images. More than 60 outlined and explained problems have been included to clarify the theoretical concepts.
Số bản sách:
(1)
Tài liệu số:
(0)
|
|
|
|
|