facebook
Florian
Trusted teacher
FavouritesAdd to Wish List
FavouritesAdd to Wish List
Trusted teacher
from25.78EUR/ h

Logic, formal languages, and automata theory for computer science

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

Extra information

Online lessons via skype or signal. Please use desktop application or other device with larger screen for better visibility of notes.

In addition to the times indicated, European students are also welcome to book a lesson in the time periods 22:00-23:00 and 16:00-17:00 Central European Time, from Sunday to Thursday.

Location

At student's location: Around Tokyo, Japan
Online via webcam

|
Use ⊞+wheel to zoom!
+

General info

Age:
Teenagers (13-17 years old)
Adults (18-64 years old)
Seniors (65+ years old)
Student level:
Beginner
Intermediate
Duration:
30 minutes
60 minutes
The class is taught in:English, Dutch

About Me

Patient teacher currently living in Tokyo.

I am a mathematician with extensive experience teaching to both university and high school students.

As someone who has learned, and is still learning languages I can also help with Dutch and English, as I know many of the pitfalls.

Education

PhD of Science: foundations of mathematics, at Ghent University, Belgium, 2012
Master of Science: foundations of mathematics, at Utrecht University, The Netherlands, 2006

Experience / Qualifications

Over a decade of teaching to mathematics and computer science students.
When I was a student myself I tutored high school students

Over 5 years of tutoring Dutch and English

Reviews (1)

Florian was well prepared and engaging in conversation. He helped me to understand the content and usage with context.
Hello! I am a teacher in Tokyo. My lessons are particularly suited for those who need to practice their pronunciation and/or their vocabulary. My classes can also include cultural aspects of the language and Dutch society. They would be ideal to help with orientation before travelling or moving to The Netherlands. If you are interested in the country and its customs, please do not hesitate to contact me. 日本語少し出来ます。宜しくお願いいたします。
初めまして。 フロリャンと申します。初心者からビジネスマンまで皆様に優しく英語とオランダ語を教えます。 日本語大丈夫です、でもゆっくりはなしてください。 Hello. Let us learn English. I am a patient teacher with experience teaching Japanese students. We can practice conversation, phonetics, and/or writing. As someone who has recently started learning Japanese I can pay particular attention to differences between Japanese and English pronunciations and potential cultural pitfalls in daily conversations. Both beginners and advanced students are welcome. Cafe lessons are possible.
Experienced and patient teacher of mathematics. My tutoring is adapted to the student's level and goals. Whether you need to learn maths 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. Possible subjects include, but are not limited to: High school mathematics Linear algebra Combinatorics Calculus Can also offer mathematical logic and formal logic classes for computer science graduate students.

Ask a question

Send a message explaining your needs and Florian will reply soon:
The more detail, the better.
Ex. "Hi, when are you available to meet for a lesson?"

Availability of a typical week

(GMT -06:00) Chicago
MonTueWedThuFriSatSun
0  Monday at 0:00  Tuesday at 0:00  Wednesday at 0:00  Thursday at 0:00  Friday at 0:00  Saturday at 0:00  Sunday at 0:00
1  Monday at 1:00    Wednesday at 1:00      Saturday at 1:00  Sunday at 1:00
2  Monday at 2:00    Wednesday at 2:00      Saturday at 2:00  Sunday at 2:00
3  Monday at 3:00    Wednesday at 3:00      Saturday at 3:00  Sunday at 3:00
4  Monday at 4:00    Wednesday at 4:00      Saturday at 4:00  Sunday at 4:00
5  Monday at 5:00    Wednesday at 5:00      Saturday at 5:00  Sunday at 5:00
6  Monday at 6:00    Wednesday at 6:00      Saturday at 6:00  Sunday at 6:00
7  Monday at 7:00  Tuesday at 7:00  Wednesday at 7:00  Thursday at 7:00  Friday at 7:00  Saturday at 7:00  Sunday at 7:00
8  Monday at 8:00  Tuesday at 8:00  Wednesday at 8:00  Thursday at 8:00  Friday at 8:00  Saturday at 8:00  Sunday at 8:00
9              
10              
11              
12              
13              
14              
15              
16  Monday at 16:00  Tuesday at 16:00  Wednesday at 16:00  Thursday at 16:00      Sunday at 16:00
17  Monday at 17:00  Tuesday at 17:00  Wednesday at 17:00  Thursday at 17:00      Sunday at 17:00
18  Monday at 18:00  Tuesday at 18:00  Wednesday at 18:00  Thursday at 18:00      Sunday at 18:00
19  Monday at 19:00  Tuesday at 19:00  Wednesday at 19:00  Thursday at 19:00      Sunday at 19:00
20  Monday at 20:00  Tuesday at 20:00  Wednesday at 20:00  Thursday at 20:00      Sunday at 20:00
21  Monday at 21:00  Tuesday at 21:00  Wednesday at 21:00  Thursday at 21:00      Sunday at 21:00
22  Monday at 22:00  Tuesday at 22:00  Wednesday at 22:00  Thursday at 22:00      Sunday at 22:00
23  Monday at 23:00  Tuesday at 23:00  Wednesday at 23:00  Thursday at 23:00      Sunday at 23:00
from 25.78€Online via webcam
from 32.95€At student's home

Good-fit Instructor Guarantee


If you are not satisfied after your first lesson, Apprentus will find you another instructor or will refund your first lesson.

Online reputation

  • Instructor since January 2024
  • Phone number verified

Availability of a typical week

(GMT -06:00) Chicago
MonTueWedThuFriSatSun
0  Monday at 0:00  Tuesday at 0:00  Wednesday at 0:00  Thursday at 0:00  Friday at 0:00  Saturday at 0:00  Sunday at 0:00
1  Monday at 1:00    Wednesday at 1:00      Saturday at 1:00  Sunday at 1:00
2  Monday at 2:00    Wednesday at 2:00      Saturday at 2:00  Sunday at 2:00
3  Monday at 3:00    Wednesday at 3:00      Saturday at 3:00  Sunday at 3:00
4  Monday at 4:00    Wednesday at 4:00      Saturday at 4:00  Sunday at 4:00
5  Monday at 5:00    Wednesday at 5:00      Saturday at 5:00  Sunday at 5:00
6  Monday at 6:00    Wednesday at 6:00      Saturday at 6:00  Sunday at 6:00
7  Monday at 7:00  Tuesday at 7:00  Wednesday at 7:00  Thursday at 7:00  Friday at 7:00  Saturday at 7:00  Sunday at 7:00
8  Monday at 8:00  Tuesday at 8:00  Wednesday at 8:00  Thursday at 8:00  Friday at 8:00  Saturday at 8:00  Sunday at 8:00
9              
10              
11              
12              
13              
14              
15              
16  Monday at 16:00  Tuesday at 16:00  Wednesday at 16:00  Thursday at 16:00      Sunday at 16:00
17  Monday at 17:00  Tuesday at 17:00  Wednesday at 17:00  Thursday at 17:00      Sunday at 17:00
18  Monday at 18:00  Tuesday at 18:00  Wednesday at 18:00  Thursday at 18:00      Sunday at 18:00
19  Monday at 19:00  Tuesday at 19:00  Wednesday at 19:00  Thursday at 19:00      Sunday at 19:00
20  Monday at 20:00  Tuesday at 20:00  Wednesday at 20:00  Thursday at 20:00      Sunday at 20:00
21  Monday at 21:00  Tuesday at 21:00  Wednesday at 21:00  Thursday at 21:00      Sunday at 21:00
22  Monday at 22:00  Tuesday at 22:00  Wednesday at 22:00  Thursday at 22:00      Sunday at 22:00
23  Monday at 23:00  Tuesday at 23:00  Wednesday at 23:00  Thursday at 23:00      Sunday at 23:00
from 25.78€Online via webcam
from 32.95€At student's home

Good-fit Instructor Guarantee


If you are not satisfied after your first lesson, Apprentus will find you another instructor or will refund your first lesson.

Share


Shilpa
Basic Computer Science for all interested to Lear computer science with programming
Computer science is the study of information, computation, and automation. It involves the design and implementation of software and hardware, as well as the theoretical study of algorithms and computation. What do computer scientists do? Design and analyze algorithms to improve the efficiency of computer programs Work with mathematical models, data analysis, and security Define the computational principles that software is based on Develop, test, and maintain software applications

Awsaf R
MATH, ENGLISH, COMPUTER SCIENCE, GEOGRAPHY AND SCIENCE
This class is designed for students from Class 1 to 5, focusing on building a strong foundation in Mathematics, Science, and Computer Science. Lessons are engaging, interactive, and adapted to the learning pace of each student. The goal is to make learning fun and meaningful while helping students develop essential skills, improve their academic performance, and build confidence in these core subjects. Class 1 Mathematics (Age: 6–7 years) Key Learning Objectives: -Develop basic number sense and counting skills. -Introduce simple arithmetic operations. -Understand basic shapes, patterns, and measurement concepts. *Concepts and Skills: -Numbers -Addition and subtraction (up to 2 digits) -Word problems (single step) -Shapes and Geometry -Measurement -Patterns and Sorting -Data Handling Class 1 Computer Science (Age: 6–7 years) *Key Learning Objectives: -Introduce basic computer concepts and terminology. -Familiarize students with computer parts and simple operations. -Build basic digital literacy. *Concepts and Skills: -Introduction to Computers -Parts of a Computer -Basic Computer Operations -Keyboard Skills -Drawing and Painting Class 1 Science (Age: 6–7 years) Key Learning Objectives: -Develop curiosity about the natural world. -Introduce basic concepts of living and non-living things. -Understand the human body, plants, animals, and the environment. Concepts and Skills: -Living and Non-Living Things -Plants and Animals -Human Body and Health -Weather and Seasons -Our Surroundings Class 1 English (Age: 6–7 years) Key Learning Objectives: -Develop basic reading, writing, listening, and speaking skills. -Build vocabulary and learn simple sentence structures. -Introduce phonics and sound-letter association. Concepts and Skills: -Reading and Phonics -Writing Skills -Speaking and Listening -Grammar -Creative Expression

Robert
Excel lessons, at your place, at my place or remotely, at your best convenience!
As a Franco-Belgian management teacher, I give Excel lessons with passion! Whether remotely or face-to-face, I offer many examples and exercises to accompany you. I travel without problem throughout the region of Brussels and its surroundings, for lessons of at least 2 hours. For France, courses are only given remotely. Here are some key words that will be covered in my classes: Scenario analysis, Year, Rounding, Today, Bdnb, Bdnbval, Bdsum, Search, Column, Copy/paste in values, Copy/paste with transposition, Consolidation, Date, Datedif, Determat, Dollar, Right, Righterg, Equiv, Esterror, Estna, Frequency, Filter (simple and advanced), Format of cells, Left, Large.Value, Printing of documents, Index, Indirect, Inversemat, Day, Weekday, Line, Matrix, Max, Maxa, Max.Si, Min , Mina, Mina.If, Formatting of cells and ranges, Month, Average, Average.If, Nb, Nb.If, Nbval, Naming of cells and ranges, No, Small.value, Product, Productmat, Protection of cells, Lookup (Lookup), Lookupv (VLookup), Lookuph (HLookup), If (If), If.Not.Disp, If.Conditions, Iferror, Sum, Sumproduct, Sum.If, Sum.If.Set, Substitute , Pivot tables, Sorting, Cell locking Do not hesitate to contact me to organize your lessons according to your needs and availability. Together, we will develop your Excel skills in an efficient and personalized way.

Youssef
Support courses in engineering sciences, electronics, automation, programming
Associate professor in engineering sciences, 5 years of professional experience at all levels, college, high school, university, preparatory classes, engineering schools. Gives courses from college to university, preparation for exams, revisions, oral preparation, development of study methodologies. Webcam lessons

José
Programming in C, C++, Java, Kotlin, Python and others. Creation of web and desktop applications.
Programmer engineer with more than ten years of experience teaches programming classes at all levels. My classes can help students of Computer Science Degrees or Cycles, new programmers or someone who is making their website or interacting with an Artificial Intelligence assistant. - At the introductory level you will learn concepts such as variables, data types, flow control statements, functions, pointers, arrays, structures and search and sorting algorithms. This is what is normally taught in the "Programming Fundamentals" subject in the first year of a Bachelor's Degree in Computer Science or in other similar degrees. - At the intermediate level you will learn more advanced concepts: classes, constructors, inheritance, polymorphism, interfaces, exceptions, access modifiers, collections and data structures. - At the advanced level you will learn concepts of object-oriented programming, functional programming, database connections, HTTP protocols, creating web applications or how to deploy an application. If you are already a programmer, you may want to take some refresher classes to reinforce certain concepts.

Martial
Graduate teacher gives courses in Physics & Chemistry, Mathematics, many years of experience.
I am a dynamic and demanding teacher who gives private lessons in Physics-Chemistry as well as Mathematics. I graduated from teaching seven years ago, after a masters in physical sciences with honors, and I teach in college and high school since. I have also been preparing students for the Baccalaureate Science for many years, all of whom have been awarded very good honors. I also prepare my students for different exams (Matu, Bac, preparation for EPFL, etc...) I make sure to rework the basics so that the student can progress quickly. It is important to me that my students acquire a solid foundation of knowledge. I also give effective work methods that will allow him to progress much more quickly and so he can regain self-confidence. I can go to the student's home or also take the course via Skype.

Pr YSF
Electronics, Automation, signal processing, renewable energy, electrical engineering) MATLAB, Networks
Hello, I am a doctor in electrical engineering and associate professor in engineering sciences, experienced in the field of electrical engineering, I offer support courses in the subjects of engineering sciences (electronics, automation, electrical engineering, automation, programming). Digital electronics Analog electronic electromagnetism (propagation of high frequency waves) Automatic (continuous, sampled) electrical engineering (transformers, electrical machines, switching power supply) C / c ++ programming, Assembler, ARM, STM32 renewable energy (wind, PV) engineering Sciences RDM Python,VHDL PIC Microprocessor and Microcontroller Signal processing and data acquisition Engineering Sciences These courses allow the student to get up to speed and regain confidence in all scientific subjects, just as they prepare him effectively for the Baccalaureate, the Preparatory Classes or various examinations of the engineering classes. COURSE OBJECTIVES AND PEDAGOGICAL APPROACH Resumption and deepening of fundamental concepts through exercises with course reminders. Put the student in a situation of questioning and research. Respond to individual issues and questions Exercise training in order to achieve real mastery of the content. Learn to build theoretical reasoning from observable facts or hypotheses. Specific preparation for higher education requirements (in-depth content, increase in work capacity, enrichment of scientific background) This educational approach is effective since it has often led me to interesting results with my students. Associate professor provides support courses in electrical engineering

Dishant
Maths Bootcamp for SAT, ACT, middle school and high school math preparation.
Welcome to a tutoring experience designed to transform academic challenges into achievements! I provide specialized instruction in mathematics and science across all major curriculums, including US, UK, Indian, and Middle Eastern systems, with a particular focus on SAT, ACT, and AP exams. As a certified tutor, I support students through every level of high school math—Algebra, Calculus, Geometry, Statistics, and Trigonometry—and core science concepts. My approach is deeply personalized, ensuring that each student receives instruction tailored to their unique strengths and learning goals. I prioritize student satisfaction and comprehension above all, committing to an environment where each concept is fully understood and every question addressed. With customized learning plans, interactive tools, and hands-on projects, I make complex topics accessible and engaging. My goal is to inspire both skills mastery and a true enthusiasm for learning. Whether you're tackling advanced math, preparing for college admissions, or aiming for top scores in AP, SAT, or ACT exams, I’m here to provide dedicated support every step of the way. Experience the difference a tailored, student-centered approach can make—where your success and understanding are always the priority.

Mohamed
Data Engineering: Extract Transform Load (ETL) Programming with Apache Airflow - Industry Applications
This course provides a hands-on approach to mastering Apache Airflow, a powerful open-source workflow automation tool widely used in ETL (Extract, Transform, Load) processes. You will learn how to build, schedule, monitor, and optimize data pipelines, ensuring data reliability and efficiency in production environments. Through real-world examples and projects, you will gain the skills required to become a proficient Data Engineer capable of handling complex workflows in modern data ecosystems. This course will allow you to build multiple real-world ETL workflows using Apache Airflow. Let me know if you would like additional information! 🚀

Antonin
Experienced teacher in private lessons gives private lessons in the Geneva region
Need a catch-up, tutoring, private lessons or help with homework in mathematics? In computer science ? In logic? I'm here for you! I offer you a personalized approach; because there is no one method that works for everyone, I adapt to the needs and requests of each student (and their parents). The first hour of class will be used to define the student's needs, deadlines and strengths. My courses are aimed at secondary school students of all levels, higher education students and anyone wishing to refresh or strengthen their knowledge of mathematics and computer science. I have been helping friends and acquaintances on a voluntary basis for a long time in the success of their studies and I hope to be able to put this experience to the benefit of your success :)

Paul
I am a teacher of mathematics and I give extra hours for private lessons in science subjects
As a math teacher, I offer private lessons in science subjects. My classes are mainly aimed at cycle and college students in Geneva, as well as students from private schools. I can also help people who have already finished their schooling but who need to upgrade their knowledge for professional needs. I am generally available within 3 days of your request and I move around the canton of Geneva using public transport (TPG). Travel costs are included in my rates. For a long-term follow-up, I can give you exercises to do between sessions and correct them at home. I speak and understand English, but my lessons will be mainly in French. I am ready to adapt my teaching according to your specific needs and to provide personalized support to help you progress in scientific subjects. Do not hesitate to contact me if you have additional questions or if you wish to schedule a lesson session. I will be happy to help you in your math learning.

Mouad
Support course in Python (For all levels, CPGE)
Passionate about programming, we offer Python support courses adapted to all levels, from beginner to advanced. These courses are aimed at students in preparatory classes for grandes écoles (CPGE) as well as anyone wishing to acquire solid programming skills. The lessons cover the essential foundations of Python with a clear and accessible teaching approach. Whether you are new to programming or want to deepen your knowledge, you will benefit from structured and progressive teaching. With a focus on concrete concepts and practical examples, these courses aim to strengthen your skills in a tangible way. You will be guided through the nuances of Python, gaining a deep understanding that will benefit you both in your studies and in your future career. Join us to explore the fundamentals of Python programming and progress to more advanced levels. Together, we will build a solid foundation and develop the skills needed to succeed in the dynamic world of computer programming.

Claude
Online Tutoring in Math, Science & IT – College & High School
Hi, I'm Claude, a French dedicated tutor in IT, math, physics-chemistry, with over twelve years of experience. I have successfully passed the CAPES and CAPLP exams and taught in various high schools. My approach focuses on personalized learning, adapting to each student's needs—whether high schoolers preparing for exams or adults looking for skill upgrades. I offer structured lessons in programming, web development, algorithms, and more. Flexible scheduling, including intensive holiday courses, is available. Let's learn effectively and enjoy the process!

Mathieu
Wordpress private lesson - From beginner to expert
With 7 years of experience as a developer in a Factory, I now develop Wordpress websites for large groups. In the training program, you will learn to: - Install, configure, and deploy WordPress sites - Develop custom Wordpress themes and plugins - Use powerful tools like ACF Pro, Gravity Forms, WPML, AIOS Security, WP rocket... - Create custom post types and tailor-made taxonomies - Develop pages using the right methods in HTML, CSS, Javascript & PHP - Administer and manage a site database - Contribute to the good natural referencing (SEO) of your site - Use WP-Cli to speed up the maintenance of your sites - Use Docker to containerize your local/prod projects and facilitate their management - Administer your WP sites the right way - And much more... For any questions, you can contact me by PM. See you soon, Matthew

Reza
Systematic Reasoning and Logical Thinking for Computer Science
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! :)