Anna's votes on the list A Guide to MIRI’s Research

Listopia > Anna's votes on the list A Guide to MIRI’s Research (19 Books)

1	Principles of Model Checking by Christel Baier 4.06 avg rating — 32 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,128 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Topology by James R. Munkres 4.30 avg rating — 1,250 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
5	Linear Algebra Done Right by Sheldon Axler 4.39 avg rating — 1,325 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
7	Discrete Mathematics and its Applications by Kenneth H. Rosen 3.89 avg rating — 1,557 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	A Mathematical Introduction to Logic by Herbert B. Enderton 3.97 avg rating — 148 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	The Logic of Provability (Volume 0) by George S. Boolos really liked it 4.00 avg rating — 15 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	Game Theory: An Introduction by Steven Tadelis 4.11 avg rating — 128 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
11	Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann Series in Representation and Reasoning) by Judea Pearl 4.29 avg rating — 77 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	Computability and Logic by George S. Boolos 4.13 avg rating — 165 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Naive Set Theory by Paul R. Halmos 4.23 avg rating — 637 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
14	Probability Theory: The Logic of Science by E.T. Jaynes 4.41 avg rating — 668 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
15	Superintelligence: Paths, Dangers, Strategies by Nick Bostrom (Goodreads Author) 3.85 avg rating — 21,537 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
16	Global Catastrophic Risks by Nick Bostrom (Goodreads Author) (Editor) 3.97 avg rating — 278 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Rationality: From AI to Zombies by Eliezer Yudkowsky (Goodreads Author) 4.32 avg rating — 1,809 ratings Anna rated it 5 stars See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
18	An Introduction to Decision Theory by Martin Peterson 3.78 avg rating — 132 ratings Anna added it to to-read See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	Artificial Intelligence: A Modern Approach by Stuart Russell 4.21 avg rating — 4,485 ratings Anna added it to currently-reading See Review	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars