Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu, Yue Yang
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 23-Oct-2023, PDF+DRM, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811278631)
This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation - in Celebration of the Research Work of Professor Rod Downey (21 August to 15 September...Lasīt vairāk
Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan, Guohua Wu, Yue Yang
Sērija : Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
(Izdošanas datums: 23-Oct-2023, EPUB+DRM, Izdevniecība: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789811278631)
This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation - in Celebration of the Research Work of Professor Rod Downey (21 August to 15 September...Lasīt vairāk
(Izdošanas datums: 22-Feb-2023, EPUB+DRM, Izdevniecība: Taylor & Francis Ltd, ISBN-13: 9781000838749)
Recursion is the best tool for working with trees and graphs. But perhaps youve studied recursion and decided its too complicated. You just cant think that way. That limits the kind of programming you can do.Good news! Recursion is actually easy....Lasīt vairāk
(Izdošanas datums: 22-Feb-2023, PDF+DRM, Izdevniecība: Taylor & Francis Ltd, ISBN-13: 9781000838732)
Recursion is the best tool for working with trees and graphs. But perhaps youve studied recursion and decided its too complicated. You just cant think that way. That limits the kind of programming you can do.Good news! Recursion is actually easy....Lasīt vairāk
Sērija : Lecture Notes in Pure and Applied Mathematics
(Izdošanas datums: 07-May-2019, EPUB+DRM, Izdevniecība: Taylor & Francis Ltd, ISBN-13: 9780429529955)
"e;Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides infor...Lasīt vairāk
Sērija : Lecture Notes in Pure and Applied Mathematics
(Izdošanas datums: 07-May-2019, PDF+DRM, Izdevniecība: Taylor & Francis Ltd, ISBN-13: 9781482269758)
"e;Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides infor...Lasīt vairāk
(Izdošanas datums: 08-Oct-2018, EPUB+DRM, Izdevniecība: Taylor & Francis Inc, ISBN-13: 9781351991759)
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gƶdels Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. B...Lasīt vairāk
(Izdošanas datums: 08-Oct-2018, PDF+DRM, Izdevniecība: Taylor & Francis Inc, ISBN-13: 9781439864272)
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gƶdels Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. B...Lasīt vairāk
(Izdošanas datums: 10-Mar-2018, PDF+DRM, Izdevniecība: American Mathematical Society, ISBN-13: 9781470449940)
This book takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. Written in an informal style with few requisites, it develops two basic principles of Ramsey theory: many c...Lasīt vairāk
Andres Eduardo Caicedo, James Cummings, Peter Koellner, Paul B. Larson
Sērija : Contemporary Mathematics
(Izdošanas datums: 05-Dec-2017, PDF+DRM, Izdevniecība: American Mathematical Society, ISBN-13: 9781470440794)
This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodins 60th birthday, held March 27-29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of t...Lasīt vairāk
(Izdošanas datums: 21-Jul-2017, PDF+DRM, Izdevniecība: Oxford University Press, ISBN-13: 9780191087974)
This book provides a comprehensive account of the role of recursion in language in two distinct but interconnected ways. First, David J. Lobina examines how recursion applies at different levels within a full description of natural language. Specific...Lasīt vairāk
