Computability and Logic Год выпуска: 2007Автор: George S. Boolos, John P. Burgess, Richard C. JeffreyИздательство: Cambridge University PressСтраниц: 364ISBN: 0521701465Описание Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Похожие книги
Israa Taqa and Nabeel K. Abid Al Sahib. Fuzzy logic control of a robotic manipulator for obstacles avoidance. – М.: LAP Lambert Academic Publishing, 2014. – 168 с. Gurpreet Singh Saini and Manoj Kumar. Applications of Fuzzy Logic in Computer Network theory. – М.: LAP Lambert Academic Publishing, 2013. – 60 с. Maninder Jeet Kaur,Moin Uddin and Harsh Verma. Capacity Analysis of Cognitive Radio using Soft Computing Techniques. – М.: LAP Lambert Academic Publishing, 2012. – 172 с. Ahmed Ullah Abu Saeed,Al Mamun and A.H.M. Zadidul Karim. Study and Applications of PLCs. – М.: LAP Lambert Academic Publishing, 2013. – 96 с. Krishna Lal Baishnab,Ram Kumar and Radhe Shyam Gupta. Study and Analysis of Vedic Multipler and 16 Bit Arithmatic Unit. – М.: LAP Lambert Academic Publishing, 2014. – 92 с. Prasenjit Dey,Pryanath Das and Naireeta Deb. Control Of Temperature And Relative Humidity In A/C Coaches. – М.: LAP Lambert Academic Publishing, 2012. – 84 с. Sanjay Singh,S.K. Singh and Nishant Tripathi. Design and Analysis of Clock Subsystem Elements. – М.: LAP Lambert Academic Publishing, 2012. – 152 с. Abdul Majid and Abdul Waheed Malik. Design and Implementation of a DDFS using Sum of Weighted Bit Products. – М.: LAP Lambert Academic Publishing, 2010. – 64 с. Manash Chanda and Ananda Sankar Chakraborty. Reversible Logic Based Ultra Low Power Arithmetic Logic Circuit Design. – М.: LAP Lambert Academic Publishing, 2014. – 100 с. Manoj Kumar Singh,Bharat Raj Singh and M.A. Faruqi. Modeling And Simulation Of Dynamic Half Car Using Bond Graph. – М.: LAP Lambert Academic Publishing, 2014. – 104 с. Dilip Kumar Gayen,Jitendra Nath Roy and Rajat Kumar Pal. Optics in Computing. – М.: LAP Lambert Academic Publishing, 2012. – 192 с. Bismark Ameyaw and Kwaku Darkwah. Linear Programming: Theory and Computations. – М.: LAP Lambert Academic Publishing, 2012. – 216 с. Nandini Sidnal and Sunilkumar Manvi. Cognitive Computing for Bidding in E-auctions. – М.: Scholars' Press, 2014. – 208 с. Syed Asif Ali and Nabiha Faisal. Computer Graphics. – М.: LAP Lambert Academic Publishing, 2012. – 96 с. Om Prakash Sangwan and YOGESH SINGH. Soft Computing Techniques in Software Engineering. – М.: LAP Lambert Academic Publishing, 2012. – 212 с. Diego Reforgiato and Fabio Battaglia. NetFPGA Architecture and Hardware Description. – М.: LAP Lambert Academic Publishing, 2012. – 92 с. Koushik Das and Pinaki Chakraborti. Strategic Trade, Energy consumption and Welfare. – М.: LAP Lambert Academic Publishing, 2014. – 232 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
demetra01, 12.03 Спасибо вам большое. Диплом у меня приняли и защитила я его на 4. :)) Еще раз спасибо.
