The Best Logic Tutors in Colorado Springs, CO

I was enrolled for two years in a math graduate program in logic. As an undergraduate I majored in philosophy, with an emphasis on logic. I scored perfect on the GRE quantitative reasoning test.See Peter's full profile

I have ample experience using mathematical logic in computer science. I have taught students Boolean algebra in CS classes and theorem proving in geometry. I've shown students how to use truth tables to analyze logical...See Jordan's full profile

., I’m extremely skilled at reading and writing proofs, which are rigorous logical arguments. Logic is the lifeblood of math. I have also, several times, taught a course at Northwestern called Foundations of Higher Mathematics...See Kiran's full profile

I have completed Mathematical Logic and Proofs, Discrete Structures, and Formal Logic courses. Each of these three courses offered a different perspective on logic. I have been tutoring a College Mathematics courses...See Stephen's full profile

I second-majored in philosophy at Notre Dame, and now I regularly tutor students in propositional and first-order logic, truth tables, natural deduction proofs, and the like. I can help you understand premises and conclusions,...See David's full profile

While there I took multiple classes in classical logic (propositional and predicate) as well as an advanced course in non-classical logic. While at Columbia, I tutored fellow students in symbolic logic and have continued to...See Chris's full profile

I earned a B.S. in Mathematics of Computation from UCLA with a Philosophy minor concentrating in logic and philosophy of language. I earned an A+ in both of UCLA's symbolic logic courses, and I am a published researcher with...See Dane's full profile

I have taken multiple courses in mathematical logic, theory of computation, model theory, set theory, Boolean algebra, and digital design at both the undergraduate and graduate levels at University of Maryland, UNCG, and NC State....See Christian's full profile

As a PhD student at Tufts University, I have taught many students for intro to logic, propositional logic, first-order logic, applied logic, modal logic, philosophical logic and mathematical logic....See Sam's full profile

I have a PhD in Educational Psychology and have been responsible for teaching a logic related course. I will meet you where you are and attempt to bridge the gap in knowledge by explaining complicated concepts in an easy to understand format. See Christal-Joy's full profile

My undergraduate degree was in mathematical sciences with a double major in logic and computation. My doctoral work was in model theory, a branch of formal logic, and my current research is in category theory, another branch of...See Victoria's full profile

I have a B.S. in pure mathematics from Indiana University with a GPA of 3.6/4.0. One class that I took was P105: Logic and Reasoning. It's a Philosophy class, instead of a math class, but there you go. It's a class in...See K.J.'s full profile

Lawrence University, including a significant amount of logic (propositional and predicate). I have more than two decades of experience tutoring math and logic, including symbolic logic. I also have experience with advanced...See Danny's full profile

Former University Professor, studied, researched, taught, directed university programs in Logic and Reasoning: Introduction to Logic (Formal and Informal), Symbolic Logic, Advanced Symbolic Logic, Mathematical...See Steven's full profile

I earned an A in Symbolic Logic and Set Theory, and I earned an A in all of the other proof-driven math courses I took during my Bachelor's in Mathematics program (e.g. Abstract Algebra I-II, Real Analysis I-II, Number Theory, etc.). I...See Joshua's full profile

I have extensive experience applying these principles daily through boolean logic in programming, as well as a theoretical command of propositional and predicate logic. Furthermore, my expertise in computer architecture provides a tangible...See Guilherme's full profile

During that time I developed and taught a Critical Thinking Class, which was primarily focused on Logic and its applications. I would consider myself to have expertise in Formal/Symbolic Logic.See Eric's full profile

I helped a number of students with solving logic problems. I emphasize the fact that practicing logic strengthens one's ability to think in many different school disciplines. I also mention that solving many puzzles, which many...See Roman's full profile

I have achieved high marks in multiple university level logic courses and have read through a variety of additional logic books on my own out of personal interest. Also have an interest in the history of logic, and this has...See Lance's full profile

I've been teaching languages, including formal languages (logic, set theory), natural languages (English, Spanish, Mandarin), and programming languages (Python, JavaScript/TypeScript, HTML/CSS, Golang) since 2008. While I was...See Joshua's full profile

Whatever it is called, I know exactly why today's common logic courses are confusing and can help you make sense of them. I have a Masters' Degree in philosophy, my PhD thesis was specifically about problems in contemporary...See Seth's full profile

I have a BA from Berkeley and a Master's from Cambridge, both in mathematics. I have taken courses in symbolic logic at the lower division level, and in mathematical logic at the upper division level. Furthermore, my background...See Ryan Maxwell's full profile

Aside from having a PhD in mathematics, the obtainment of which requires proficiency in the use of logic, I have also taught discrete math courses, a component of which is symbolic logic. I love teaching logic; it is on...See Jack's full profile

Central to a lot of low level computer engineering embedded system code is logic, specifically logic design of circuits. After official education as a sophomore in college at the University of Michigan, I have used logic...See Tyler's full profile

... / quantified / first-order logic, structures, models, definability, and more. I have also once tutored a course in logic for computer science, which included LTL (Linear Temporal Logic), CTL (Computational Tree Logic), and proofs for program verification...See Adam's full profile