Trusted teacher

Logic is learned through examples. The course will be a step-by-step explanation of how (and why each step) to do exercises, in addition to some clever tips for understanding. This will be a fun and understandable explanation. You will see logic in a whole new light!

Trusted teacher

Experienced and patient teacher of logic for computer science. I have taught logic, formal languages and automata theory to undergraduates for six years. My tutoring is adapted to the student's level and goals. Whether you need to learn logic for your studies, or you would simply like to know more about the subject, I will be more than happy to help you improve your understanding and skills. Logic The sciences presuppose a certain standard of rationality. An ability to distinguish between correct reasoning and claims that do not follow from the assumptions. In this class we study the basic principles of logic and apply mathematical techniques to the study thereof. Topics include: Propositional and Predicate Logic Syntax and semantics Natural deduction Semantic tableaux Correctness and soundness Completeness Formal languages and automata A formal language is an abstraction of general characteristics of programming languages. Such a languages consists of a set of symbols together with some rules to determine whether a string made up out of those symbols is a member of the language. Topics include: Regular languages, context-free languages Finite automata, pushdown automata, Turing machines Regular expressions Regular grammar, context-sensitive grammar Pumping lemmas for regular and context-free languages

Trusted teacher

Mathematics is like a chain: if one link is missing today, the whole thing collapses tomorrow. Does your child spend hours frustrated with their homework without their efforts being rewarded? When faced with mathematics, many students lose their footing, develop a real psychological block and end up saying to themselves "I'm bad at math". Don't let this situation get worse. If you don't act now, these gaps in your knowledge will accumulate. The student will struggle more and more, completely lose confidence, and risk jeopardizing their future academic choices (school records, university applications, entrance exams). Every investment you make today is a major problem you're preventing for their future. The solution lies not in cramming, but in the method. I am a computer science and applied mathematics engineer, a graduate of ENSIMAG, the leading engineering school in France in this field. Beyond my degree, I am here to help your child overcome their difficulties permanently and move forward. My approach has already proven itself: I have personally supported more than 100 students, helping them break through their glass ceiling to go from an average of 8 to 16, or even more. What I propose: A precise diagnosis: I identify the missing links in the chain of his knowledge in order to repair the foundations. The end of math anxiety: I create a trusting environment where mistakes become a tool for progress. Methodological excellence: I transmit the rigor and learning strategies of the best engineering programs so that he gains autonomy. Your child is not doomed to struggle with mathematics. They simply need the right mentor to rediscover the path to success and the joy of understanding. My appointment slots are filling up fast. Contact me today to schedule our first meeting and develop a customized action plan for its success.

Trusted teacher

This mathematics course is aimed at students in lower or upper secondary education who wish to strengthen their basic skills, fill in gaps or effectively prepare for an exam. We will work together on understanding key concepts (arithmetic, geometry, algebra, functions, etc.) through clear explanations, progressive exercises and a method adapted to the pace of each student. The goal is to restore confidence, develop logic and reasoning skills, and make mathematics more accessible and concrete. This course is also suitable for students in scientific, technical or linguistic fields who need regular or occasional support.

Trusted teacher

You will learn Systematic Reasoning & Logical Thinking which is a requirement for entering Computer Science program in many universities. The book “Delftse Foundations of Computation” especially its second chapter will be the main source of our lesson, but other more in-depth books will be also covered if you want to improve even further on logical thinking. The topics in our lesson include: • Propositional Logic: Logical operators; Precedence rules; Logical equivalence; Implications in English; Exclusive or; Universal operators; Classifying propositions • Boolean Algebra: Substitution laws • Logic Circuits: Logic gates; Combining gates to create circuits; From circuits to propositions; Disjunctive Normal Form; Binary addition. • Predicate Logic: Predicates; Quantifiers; Tarski’s world and formal structures; • Deduction: Valid arguments and proofs; Proofs in predicate logic If you have any additional questions before starting a class, please feel free to ask me. I am here to assist! :)