facebook
Florian
Trusted teacher
FavouritesAdd to Wish List
FavouritesAdd to Wish List
Trusted teacher
from26.27USD/ 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 -05:00) New York
MonTueWedThuFriSatSun
0  Monday at 0:00  Tuesday at 0:00  Wednesday at 0:00  Thursday at 0:00  Friday at 0:00    
1  Monday at 1:00  Tuesday at 1:00  Wednesday at 1:00  Thursday at 1:00  Friday 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    Wednesday 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  Monday at 9:00  Tuesday at 9:00  Wednesday at 9:00  Thursday at 9:00  Friday at 9:00  Saturday at 9:00  Sunday at 9:00
10              
11              
12              
13              
14              
15              
16              
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 $26.27Online via webcam
from $33.58At 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 -05:00) New York
MonTueWedThuFriSatSun
0  Monday at 0:00  Tuesday at 0:00  Wednesday at 0:00  Thursday at 0:00  Friday at 0:00    
1  Monday at 1:00  Tuesday at 1:00  Wednesday at 1:00  Thursday at 1:00  Friday 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    Wednesday 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  Monday at 9:00  Tuesday at 9:00  Wednesday at 9:00  Thursday at 9:00  Friday at 9:00  Saturday at 9:00  Sunday at 9:00
10              
11              
12              
13              
14              
15              
16              
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 $26.27Online via webcam
from $33.58At 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


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

Mazuba
Introducion to Programming with C++ Programming Language.
Take a deeper dive into programming with C++, a language known for its speed and versatility. This class focuses on understanding how code interacts closely with the hardware and teaches the principles of efficient and effective programming. What You’ll Learn: C++ basics: Syntax, variables, data types, and operators. Setting up C++ IDEs: Compilers and linkers. How C++ code is compiled, linked, and executed. Memory management and pointers: An introduction to dynamic memory.

Tristan
General computing, Excel, Word, PowerPoint, AI (ChatGPT, prompt engineering,...), iPhone
Master Excel, Word, ChatGPT and simplify your life with my private lessons Learn how to harness the full potential of AI to transform your daily life and improve your digital skills: - Job search: Write impactful CVs and cover letters. - Personal life: Create personalized meal or workout plans. - Productivity: Automate tasks, write impeccable emails, or manage your projects more efficiently. - Studies and learning: Structure your revisions and create clear and organized content. General computing: Optimize your use of Word, Excel and other office tools to gain efficiency. Accessible to everyone, whether you are a novice or a curious user. In just a few hours, you will master digital tools and skills that will make all the difference in your professional and personal life. Book your session now!

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.

Hamza
Maîtrisez Python avec un Expert en Programmation et Data Science
Découvrez la puissance de Python avec un formateur expérimenté en informatique ! Je suis Hamza, un développeur passionné et mentor chevronné avec une vaste expérience dans l'enseignement de la programmation. Mon approche pédagogique unique vous permettra d'acquérir rapidement des compétences solides en Python, tout en découvrant ses applications concrètes dans le monde professionnel. Ce que vous apprendrez : Fondamentaux de Python (variables, structures de contrôle, fonctions) Programmation orientée objet avancée Analyse et visualisation de données avec pandas et matplotlib Développement d'interfaces graphiques avec PyQt Projets pratiques inspirés de cas réels en entreprise Pourquoi me choisir ? Plus de 5 ans d'expérience en formation et mentorat Méthode pédagogique adaptée à tous les niveaux Approche hands-on basée sur des projets concrets Passion contagieuse pour le code et l'innovation technologique Que vous soyez débutant cherchant à vous lancer dans la programmation ou professionnel souhaitant monter en compétences, ce cours vous ouvrira de nouvelles perspectives passionnantes dans le monde du développement logiciel et de la data science. Rejoignez-moi pour un voyage captivant au cœur du langage de programmation le plus polyvalent et demandé du marché ! Réservez maintenant et faites le premier pas vers la maîtrise de Python. Votre carrière en tant que développeur Python commence ici !

Oussama
Mastering Web Development: From Fundamentals to Advanced Techniques
What You’ll Learn: Front-end Technologies: HTML, CSS, JavaScript, React.js, Next.js, TailwindCSS for creating dynamic, responsive applications. Back-end Mastery: Node.js, Nest js, Express, and Fastify for building robust and scalable web servers. Databases: MySQL, PostgreSQL, and MongoDB for handling data efficiently. DevOps & Deployment: Learn Docker, CI/CD with GitHub Actions, and cloud deployment practices to ensure your applications are production-ready. How You Will Benefit: Students: Gain the technical skills and portfolio to ace your academic projects and land internships or entry-level jobs. Self-Taught Learners: Stop the guesswork and follow a structured, hands-on approach to mastering full-stack development faster. Professionals: Upgrade your skills to meet the demands of modern web development and position yourself for career growth. Why My Course is Different: Real-World Projects: You'll build applications that solve real business problems, like a complete e-commerce site, RESTful APIs, and microservices. Tailored Learning: Each course is personalized to your experience level and goals, ensuring you get the most out of every session. Problem-Solving Focus: From debugging to performance optimization, you'll learn to tackle real-world challenges confidently. Industry-Relevant Skills: Stay ahead of the curve with training in modern technologies and practices that top employers are looking for.

Brahim
Introduction to NoSQL DataBase MongoDB by Pratique
Do not deal with the manual with terms of reference statements and basic documents that cannot be obtained in order to avoid the MongoDB problem. Please include the connection to one of the MongoDB données base, comment on simple CRUD operations and sujets clés que l'agrégation, l'indexation, la mode des données et les Transaction. 1- Install MongoDB 2- Implement MongoDB 3- Use of documents and collectibles 4 - Leadership Committee 5- Execute CRUD commands (create, read, update, delete) avec mongo shell 6- Type the register in a MongoDB database 7- Reset the base to remonter specific documents depuis mongo shell. 8- Lagrégation 9- Indexing 10- Amending institutions and transactions

Youness
Office Automation Training: Excel, Word, Remote Power Point / Online
- I teach in Excel, Word, Power point, Access, Outlook, internet, computer maintenance at home or remotely. - For more information, contact me. - I teach in Excel, Word, Power point, Access, Outlook, internet, computer maintenance at home or remotely. - For more information, contact me. - I teach in Excel, Word, Power point, Access, Outlook, internet, computer maintenance at home or remotely. - For more information, contact me.

Hayat
Master the Essential Tools of Microsoft Office: Word, PowerPoint and Excel"
Do you want to master Microsoft Office tools? This course offers you comprehensive training on the three most popular applications in the Microsoft Office suite: Word, PowerPoint and Excel. Whether you are a beginner or already have some basics, this course is designed to adapt to your level. You will learn how to create documents, dynamic presentations and use spreadsheets for efficient management of your data. Sessions can be customized to your needs, whether you prefer individual or group learning. With my support, you will quickly become comfortable with these essential tools. If you have any questions or would like to know more, please do not hesitate to contact me!

Anass
Computer and office training Word Excel and PowerPoint
Hello, You want to learn the basics of computers or how to use software such as Word, Excel or Powerpoint. I will give you the skills you need to better understand the features of this software to write, for example, a document. I will also give you advice on how to make the most of the internet, protect and back up your data, or on the day-to-day use of your computer. Contact me.

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.

Nancy
Mathematics, Computer Science and Python Tutor for you
Many of students find it difficult to understand the mathematical concepts and programming algorithms. But don't worry as I know how to make that easy for you to understand these concepts. I have completed mathematics honors and pursuing data science and Artificial Intelligence. So, what all you need is my support to ease your learning. I can help you in any mathematical and computer science concept. Also, I am very familiar with Python

Salah
Learn MS (Word, Excel and PowerPoint) Microsoft Office / Expand your knowledge of Microsoft office!
I offer Microsoft Word, Microsoft Excel, Microsoft PowerPoint, Microsoft Office sessions Word is a word processing software developed by Microsoft. It is used to create documents, letters, reports, presentations... Excel is a spreadsheet software from the Microsoft Office suite developed and distributed by the publisher Microsoft. It is used to create spreadsheets, tables, graphs, etc. Powerpoint is a presentation software developed by Microsoft. It is part of the Microsoft Office suite. It is used to create presentations, slide shows... I am waiting for your message.

Ron
Computer Science Tutoring - American Harvard and Yale Educated Tutor
I am an Ivy League educated tutor ready to help you learn computer science to achieve higher exam scores, gain admission to top universities and advance your career. I encourage students to explore topics they enjoy and strive to make each lesson entertaining. Learning should be fun, so my approach expands students' horizons, increasing their creativity so they realize their potential. Please click “Request a Booking” to book a lesson.

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