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.09 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,115 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,243 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.40 avg rating — 1,298 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,548 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.95 avg rating — 146 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 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.14 avg rating — 123 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.30 avg rating — 76 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 — 166 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 — 632 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 — 660 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,212 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 — 274 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,795 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.77 avg rating — 131 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,473 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