Trusted teacher

2Students

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

Professional teacher with more than 5 years of experience in this field. I have followed several training courses in pedagogy and teaching methods in order to be able to ensure the right approach and/or technique for each age and each personality. I manage to put my pupils and students at ease, to make them love and understand the course or subject that they find difficult. I teach in 3 main languages: French, English and Arabic. Do not hesitate to contact me to find out more :)

Trusted teacher

1Students

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

11Students

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! :)