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

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

Trusted teacher

4Students

This class is designed for high-potential students, from Grade 3 to Grade 12, aiming for the world’s most competitive mathematics competitions — the same competitions that act as strong signals for admission to Ivy League, Oxford, Cambridge, MIT, Stanford, and other top global universities. I provide elite-level training in mathematical problem-solving, logical depth, and creative reasoning, focusing on competitions that identify exceptional talent rather than routine academic performance. Major competitions covered include: - AMC 8 / AMC 10 / AMC 12 - AIME - IMO pathway (advanced problem-solving foundations) - European & Asian Olympiads - National and international math competitions - SASMO, AMO, Fermat, Kangaroo, Gauss, Euclid competitions and others Invitation-based and high-prestige contests recognized by top universities These competitions are not about speed or memorization. They require original thinking, multi-step reasoning, and mathematical maturity — skills that universities actively look for in exceptional applicants. My approach I train students to think like mathematicians. Students learn how to: deconstruct complex, unfamiliar problems identify hidden structures and elegant solution paths apply advanced techniques from algebra, number theory, combinatorics, and geometry write clear, rigorous, competition-level solutions remain calm and strategic under high intellectual pressure This is not school math and not standard tutoring. Sessions are intellectually demanding, highly structured, and tailored to the student’s current level and long-term goals. Who this class is for students with strong mathematical ability who want to reach elite level students targeting top universities (Ivy League, MIT, Oxford, Cambridge etc.) students preparing for national or international math competitions families looking for long-term talent development, not short-term fixes Instructor background With extensive international experience in advanced mathematics education, university-level teaching, and mentoring high-achieving students, I understand how competition mathematics connects directly to elite university admissions and academic success. I do not train students to “collect medals.” I train them to develop exceptional mathematical thinking — the kind that opens doors. Format Sessions are highly personalized, challenging, and progressive. Online via webcam. Languages of instruction: English, Russian, Turkish, and Azerbaijani