Logic, formal languages, and automata theory for computer science
From 20.83 £ /h
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
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.
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 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.
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
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
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
Skills
Reviews
Availability of a typical week
(GMT -05:00)
New York
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.
日本語少し出来ます。宜しくお願いいたします。
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.
フロリャンと申します。初心者からビジネスマンまで皆様に優しく英語とオランダ語を教えます。
日本語大丈夫です、でもゆっくりはなしてください。
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.
Show more
Good-fit Instructor Guarantee





