The Best Logic Tutoring Online

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

I provide expert guidance in Propositional Logic, First-Order Logic, Modal Logic, and Mathematical Logic. I have a deep background in teaching applied logic and formal (linguistic) semantics for both Philosophy...See Sam'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 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

As a math Ph.D., 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...See Kiran's full profile

I have taught several different courses in proof techniques for mathematics. These courses typically include material on propositional logic and applications to both mathematics and computer science. Common topics include: how to prove...See Roger'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

Logic gets covered as part of most Pure Math tracks, especially the kind covered at an undergraduate level. I also have been working with a Ph.D.-level student on First-Order Logic, Propositional Logic, Temporal Logic,...See Kaylee'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 have a great love for Boolean and First-Order Predicate Logic. I have studied logic several times in both philosophy and mathematics courses, but most notably, I took a class in college on mathematical logic which concluded...See Geoffrey'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

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 Ally'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

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

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

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 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

I've studied logic at a deep level in undergraduate elective courses at UNSW (including basic propositional logic, first-order logic, and more advanced concepts like modal and fuzzy logics). I have experience...See Darwin'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 currently teach Logic as part of my course load at the University of Baltimore. For the past three years I have tutored students from Towson University's MATH100, 105, and 205. Are you struggling with truth tables, funny looking...See Cornelia's full profile

With a dual BA in math and philosophy, an MA in math, and two-plus years of subsequent work towards a PhD (A+ student) in logic, I took a break to study theology, but have resumed several years now coding in C++ tools for computer-assisted...See Peter'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 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

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

In 2012, I received my MS from Stanford University in Symbolic Systems, the study of language and logic. My graduate coursework includes Phil 250 Basic concepts in Mathematical Logic and Phil 254 Modal Logic. Since then, I...See Alex's full profile