Trusted teacher

Chess is easy to learn and a lifetime to master- let's skip ahead. Whether you've never moved a pawn or you're chasing your next rating jump, these lessons sharpen the way you think, not just the way you play. We'll work on the tactics that win games, the patterns grandmasters see instantly, and the quiet positional ideas that decide the rest. Your games become the textbook — every loss is a lesson, every win a clue. Online or in person. Bring a board, or just your curiosity.

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

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