facebook
favorite button
super instructor icon
Trusted teacher
This teacher has a fast response time and rate, demonstrating a high quality of service to their students.
member since icon
Since January 2024
Instructor since January 2024
Logic, formal languages, and automata theory for computer science
course price icon
From 38.86 C$ /h
arrow icon
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
green drop pin icon
|
Use Ctrl + wheel to zoom!
zoom in iconzoom out icon
location type icon
At student's location :
  • Around Tokyo, Japan
location type icon
Online from Japan
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
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
Reviews
Availability of a typical week
(GMT -05:00)
New York
at teacher icon
Online via webcam
at home icon
At student's home
Mon
Tue
Wed
Thu
Fri
Sat
Sun
00-04
04-08
08-12
12-16
16-20
20-24
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.

日本語少し出来ます。宜しくお願いいたします。
Read more
初めまして。
フロリャンと申します。初心者からビジネスマンまで皆様に優しく英語とオランダ語を教えます。

日本語大丈夫です、でもゆっくりはなしてください。

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.
Read more
Show more
arrow icon
Similar classes
arrow icon previousarrow icon next
verified badge
Currently, I am working at MaaS department in Denso Corporation, Shinagawa, Tokyo.
I have done my masters from the Indian Institute of Technology Hyderabad India recently.
I can teach you Mathematics and science in a simpler way as I have lived with those things for 10 years.

I can teach you coding, Science and Math if you wish to learn new things contact me.

This class is for those who really want to use to learn computer languages like C, C++ in a more innovative manner.

I little bit know Nihon-Go as well.
verified badge
⭐⭐⭐⭐⭐

👨‍🎓 With 4 years of experience in distance learning, I am a mathematics teacher, specialist in support courses and private lessons.
I also teach physics and chemistry as well as science subjects in general.

I hold a Master's degree in Operational Research (Applied Mathematics) and I have been teaching private lessons for more than 3 years, mainly mathematics for College and High School levels.

✏ I have taught students from public, private, French Program (Mission), Belgian, Swiss, Spanish Program (students from the Spanish school who are French or English speaking), American Program...
In short, all French or English programs.

✏ I accompany students from A to Z, in all stages of their learning with a simple, new generation and effective methodology: Course explanation, course summary, deepening application exercises etc...

✏ I prepare for exams and competitions

✏ I help with homework.

✏ My students have all evolved in an extraordinary way and have all achieved their goals. 16, 17, 18, 19 out of 20.

Sessions usually take place as follows:

1️⃣ The first sessions are mainly intended to gauge the level of the student in order to highlight the shortcomings observed.

2️⃣ Then comes the establishment of a plan to fill the gaps: Number of hours of work required, The parts of the lessons to focus on, Several training and development exercises...

3️⃣ We make sure to do all of this while staying up to date with the student's class teacher.

4️⃣ I then provide exams similar to what is likely to be asked in class.

5️⃣ I draw up a report on demand, usually monthly, in order to keep parents informed about their child's level throughout the course.

I also adapt my methodology according to the needs of each student, so everyone has a personalized working method adapted to their needs!

I also do crash courses for those who are preparing for the start of the school year so that they start the year strong 💪 and know the program in advance. 🧠

💭 If you have any questions, don't hesitate to contact me ;)
verified badge
I'm Marco, Italian, I'm 32 and I have a PhD in computer science, I have a great curriculum and I havebeen teaching as a freelance for three years. I offer classes in Japan during the month of July and August.
I teach in three languages
verified badge
Hi! I’m a young motivated tutor with a master’s and bachelor's degree in Computer Science from a global top university. I’m passionate about helping you reach your goals. I will spend hours preparing the lesson.

Python, AI, or making a website; my personalized approach means you decide what matters most. Whether you need a deep dive into theory, hands-on coding sessions, guided exercises, or project-based learning, I’m here to craft a session that fits your goals. I’m committed to going the extra mile: from designing custom presentations and assignments to learning new programming languages or frameworks just to meet your needs. No matter how many hours or sessions you require, I’ll work with you to set the pace that’s right for you.


I provide tutoring across a wide range of topics:

General Subjects:
• Programming & Software Development
• Software Modeling & Architecture, Requirements Engineering
• Software Testing
• Web Applications, Computer Networks & Databases
• Artificial Intelligence

Specific Topics:
• Languages: Python, Java, JavaScript, C, Haskell, Prolog, Scratch
• Tools & Technologies: Git (and GitHub), HTTP, HTML, CSS, React, Node.js, SQL


If you are one of the following, you are at the right place:
- University student (undergraduate and postgraduate).
- High school student
- Need assistance with a project at a professional level.
- Younger person looking to take their first steps in programming


My Tutoring Style
I’m patient, approachable, and enthusiastic about teaching. No question is off limits. I’m here to explain concepts until they click. Whether you’re new to programming or looking to advance your skills, my tutoring is designed to be flexible and responsive to your learning style. Group discounts and flexible pricing options are available.

Let’s connect and design a learning experience that’s all about you!
message icon
Contact Florian
repeat students icon
1st lesson is backed
by our
Good-fit Instructor Guarantee
Similar classes
arrow icon previousarrow icon next
verified badge
Currently, I am working at MaaS department in Denso Corporation, Shinagawa, Tokyo.
I have done my masters from the Indian Institute of Technology Hyderabad India recently.
I can teach you Mathematics and science in a simpler way as I have lived with those things for 10 years.

I can teach you coding, Science and Math if you wish to learn new things contact me.

This class is for those who really want to use to learn computer languages like C, C++ in a more innovative manner.

I little bit know Nihon-Go as well.
verified badge
⭐⭐⭐⭐⭐

👨‍🎓 With 4 years of experience in distance learning, I am a mathematics teacher, specialist in support courses and private lessons.
I also teach physics and chemistry as well as science subjects in general.

I hold a Master's degree in Operational Research (Applied Mathematics) and I have been teaching private lessons for more than 3 years, mainly mathematics for College and High School levels.

✏ I have taught students from public, private, French Program (Mission), Belgian, Swiss, Spanish Program (students from the Spanish school who are French or English speaking), American Program...
In short, all French or English programs.

✏ I accompany students from A to Z, in all stages of their learning with a simple, new generation and effective methodology: Course explanation, course summary, deepening application exercises etc...

✏ I prepare for exams and competitions

✏ I help with homework.

✏ My students have all evolved in an extraordinary way and have all achieved their goals. 16, 17, 18, 19 out of 20.

Sessions usually take place as follows:

1️⃣ The first sessions are mainly intended to gauge the level of the student in order to highlight the shortcomings observed.

2️⃣ Then comes the establishment of a plan to fill the gaps: Number of hours of work required, The parts of the lessons to focus on, Several training and development exercises...

3️⃣ We make sure to do all of this while staying up to date with the student's class teacher.

4️⃣ I then provide exams similar to what is likely to be asked in class.

5️⃣ I draw up a report on demand, usually monthly, in order to keep parents informed about their child's level throughout the course.

I also adapt my methodology according to the needs of each student, so everyone has a personalized working method adapted to their needs!

I also do crash courses for those who are preparing for the start of the school year so that they start the year strong 💪 and know the program in advance. 🧠

💭 If you have any questions, don't hesitate to contact me ;)
verified badge
I'm Marco, Italian, I'm 32 and I have a PhD in computer science, I have a great curriculum and I havebeen teaching as a freelance for three years. I offer classes in Japan during the month of July and August.
I teach in three languages
verified badge
Hi! I’m a young motivated tutor with a master’s and bachelor's degree in Computer Science from a global top university. I’m passionate about helping you reach your goals. I will spend hours preparing the lesson.

Python, AI, or making a website; my personalized approach means you decide what matters most. Whether you need a deep dive into theory, hands-on coding sessions, guided exercises, or project-based learning, I’m here to craft a session that fits your goals. I’m committed to going the extra mile: from designing custom presentations and assignments to learning new programming languages or frameworks just to meet your needs. No matter how many hours or sessions you require, I’ll work with you to set the pace that’s right for you.


I provide tutoring across a wide range of topics:

General Subjects:
• Programming & Software Development
• Software Modeling & Architecture, Requirements Engineering
• Software Testing
• Web Applications, Computer Networks & Databases
• Artificial Intelligence

Specific Topics:
• Languages: Python, Java, JavaScript, C, Haskell, Prolog, Scratch
• Tools & Technologies: Git (and GitHub), HTTP, HTML, CSS, React, Node.js, SQL


If you are one of the following, you are at the right place:
- University student (undergraduate and postgraduate).
- High school student
- Need assistance with a project at a professional level.
- Younger person looking to take their first steps in programming


My Tutoring Style
I’m patient, approachable, and enthusiastic about teaching. No question is off limits. I’m here to explain concepts until they click. Whether you’re new to programming or looking to advance your skills, my tutoring is designed to be flexible and responsive to your learning style. Group discounts and flexible pricing options are available.

Let’s connect and design a learning experience that’s all about you!
Good-fit Instructor Guarantee
favorite button
message icon
Contact Florian