facebook
Florian
Trusted teacher
FavouritesAdd to Wish List
FavouritesAdd to Wish List
Trusted teacher
from29.21USD/ 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 23:00-24:00 and 17:00-18: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 -04: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    
2  Monday at 2:00  Tuesday at 2:00  Wednesday at 2:00  Thursday at 2:00  Friday 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    Wednesday 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  Monday at 10:00  Tuesday at 10:00  Wednesday at 10:00  Thursday at 10:00  Friday at 10:00  Saturday at 10:00  Sunday at 10:00
11              
12              
13              
14              
15              
16              
17              
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 $29.21Online via webcam
from $37.34At 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
  • 1 repeat student
  • Phone number verified

Availability of a typical week

(GMT -04: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    
2  Monday at 2:00  Tuesday at 2:00  Wednesday at 2:00  Thursday at 2:00  Friday 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    Wednesday 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  Monday at 10:00  Tuesday at 10:00  Wednesday at 10:00  Thursday at 10:00  Friday at 10:00  Saturday at 10:00  Sunday at 10:00
11              
12              
13              
14              
15              
16              
17              
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 $29.21Online via webcam
from $37.34At 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


Casey
Computer Security Basics - Everything from online banking and investing to email and social media.
Feeling secure online is becoming harder every day. Most people have no idea how vulnerable they are to cyber-attacks that could cost them dearly. There is a mountain of advice on the internet and YouTube, and it's hard to know who to believe when it comes to securing your private information and assets. I can guide you through the weeds so you can feel confident when doing everything from online banking and investing to social media. You will learn how to assign risk levels to everything you do online so you can avoid doing things that will increase your risk level. We are all at risk to some level, and each person has to decide how far they are willing to reasonably go to get the security they require.

Yakoub
Coding and Computation: Expert Tutoring in Computer Science (13-17 years)
Dive into the world of technology with tailored Computer Science tutoring designed to help you master key concepts and develop practical skills. Whether you’re preparing for GCSEs or looking to strengthen your understanding, my classes offer comprehensive support. What I Offer: • GCSE Computer Science: Detailed instruction on programming, algorithms, data structures, and computational thinking. My lessons focus on building strong problem-solving skills and preparing you effectively for your exams. • General Computer Science Support: Assistance with specific topics, projects, or challenges, providing practical insights and hands-on practice to enhance your understanding and technical abilities. Why Choose My Computer Science Tutoring? • Personalized Lessons: Tailored to fit your learning style and address specific areas of interest or difficulty. • Interactive Approach: Engaging methods and practical exercises to make complex concepts accessible and enjoyable. • Expert Guidance: In-depth knowledge of Computer Science principles, dedicated to helping you achieve your academic and practical goals. Let’s work together to unlock your potential in Computer Science and excel in your studies!

Roncy Reji
Learn to Code like a Pro: Python, Machine Learning and AI.
Are you eager to dive into the exciting world of Machine Learning and Artificial Intelligence? As an MSc graduate in AI from King's College London with hands-on experience working on large-scale language models (LLMs), I offer personalized, expert-level coding lessons designed to help you master these advanced technologies. Whether you're a beginner building a foundation or an advanced learner aiming to deepen your understanding, my classes cover everything from core concepts to cutting-edge applications. With a focus on Python, deep learning frameworks like TensorFlow and PyTorch, and real-world projects, you’ll gain the skills needed to excel in AI-driven industries. Join me to unlock your potential and shape the future with AI!

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
Hello everyone, Are you looking to become a skilled web developer? My web development courses are designed to meet your specific needs, whether you are a student, self-taught learner, or professional looking to transition. ### What I Offer: - **Key Technologies**: HTML, CSS, JavaScript, React.js, Next.js - **Backend**: Node.js, Express, Flask - **Databases**: MySQL, PostgreSQL, MongoDB - **DevOps Practices**: Docker, CI/CD with GitHub Actions ### How My Courses Can Help You: - **Students**: Gain the skills needed to excel in your academic projects and kickstart your career. - **Self-Taught Learners**: Accelerate your learning with clear, practical instructions. - **Professionals**: Enhance your skills to meet industry demands and advance in your career. ### Methodology: - **Personalized Approach**: Each course is tailored to your level and learning pace. - **Theory and Practice**: Combining theoretical concepts with practical exercises for comprehensive understanding. - **Problem Solving**: Learn to tackle real-world issues, from bug fixing to performance optimization. Feel free to contact me for more information about my web development courses. Together, we can achieve your goals and make you a confident, competent web developer!

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.

Azzedine
Développez votre expertise en Power BI et Business Intelligence : Créez des tableaux de bord percutants et des visualisations de données pro
Vous êtes impliqué dans les finances, la gestion, la planification, la gestion de projet, les ressources humaines, ou peut-être même un étudiant ambitieux désireux de perfectionner ses compétences en matière de tableau de bord professionnel. Si vous recherchez une solution qui va au-delà des limitations d'Excel et de PowerPoint, alors vous êtes au bon endroit : permettez moi de vous présenter Power BI. Avec Power BI, je vous propose bien plus qu'un simple outil. C'est une passerelle vers des rapports interactifs, une gestion efficace des données et une analyse avancée. Voici ce que je peux vous offrir : - Création et gestion experte de rapports interactifs. - Transformation et nettoyage minutieux des données pour une précision maximale. - Utilisation des puissantes formules DAX pour une analyse de données avancée. - Création de visualisations personnalisées et de tableaux de bord percutants. - Partage sécurisé et publication de vos rapports pour une collaboration sans heurts. -Automatisation des tâches répétitives avec Power BI & Power Query. Peu importe vos besoins spécifiques - qu'il s'agisse de projets professionnels, d'études ou d'aspirations personnelles - je suis là pour vous offrir une solution sur mesure. Ensemble, nous créerons un programme adapté à vos objectifs, vous guidant à chaque étape de votre parcours d'apprentissage. Que vous soyez un novice cherchant à maîtriser les bases ou un expert désireux d'approfondir vos connaissances en analyse de données, je suis là pour vous fournir l'expertise et le soutien nécessaires pour réussir.

Aya
Mathematics course for children and adolescents.
Professional teacher with more than 5 years of experience in this field. I have followed several training courses in pedagogy and teaching methods in order to be able to ensure the right approach and/or technique for each age and each personality. I manage to put my pupils and students at ease, to make them love and understand the course or subject that they find difficult. I teach in 3 main languages: French, English and Arabic. Do not hesitate to contact me to find out more :)

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.

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.

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.

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.

Dr. Mohamed
Microsoft Excel standard level and professional level
As a university professor specializing in statistics and mathematics. In addition to that, I obtained many certificates in computer training, and after my previous experience as a computer trainer in many training centers, it was necessary for me to master the use of the Excel program at its basic and advanced levels. As a result, I prepared two lessons that included distinct explanations in Arabic and English, according to the trainee’s language. As a university professor specialized in statistics and mathematics, and with multiple certifications in computer training, in addition to my prior experience as a computer trainer in various training centers, it was imperative for me to master the use of Excel at both basic and advanced levels. . Consequently, I have prepared two lessons, presented in both Arabic and English, which include comprehensive explanations. Lesson One: Introduction to using Excel In this lesson, you will introduce basic concepts about Excel in a simplified way. You can include the following: Explanation of the Excel interface: Explanation of the main interface elements such as the toolbar and navigation bar. Create a simple table: How to create a basic table in Excel and enter data into cells. Simple Calculations: How to use basic arithmetic operations such as addition, subtraction, multiplication, and division. Data formatting: How to format data so that fonts, colors, and style can be changed. Lesson 1: Introduction to Using Excel In this lesson, I will provide a simplified explanation of basic Excel concepts, covering: Excel Interface: An overview of the main elements of the interface, such as the toolbar and the navigation bar. Creating a Simple Table: How to create a basic table in Excel and input data into cells. Basic Calculations: How to perform fundamental mathematical operations such as addition, subtraction, multiplication, and division. Data Formatting: How to format data, including changing fonts, colors, and styles. Lesson Two: Excel for the advanced level This lesson can be targeted at people who want to use Excel for more complex purposes. You can include the following topics: Functions and equations: An explanation of the use of built-in functions such as SUM and AVERAGE, but not limited to, and custom equations. Dynamic Tables: How to create dynamic tables and use them to analyze data. Conditional formatting: How to set up conditional formatting of cells based on certain rules. Graphs: How to create graphs and use them to visualize data. Data Review: Explain how to use review tools such as filters, sorting, and searching. Within each lesson, you can include interactive examples and hands-on exercises to help students apply the concepts explained. Students can also be directed to additional resources for delving deeper into Excel if they are interested. On the practical side, you can use Excel to create examples and practical exercises that help students apply the concepts taught in the lessons. Thus, you will have excellent lessons to teach basic and advanced use of Excel. Lesson 2: Advanced Excel This lesson is designed for individuals who wish to utilize Excel for more complex purposes. It will cover the following topics: Functions and Equations: Explanation of using built-in functions like SUM, AVERAGE, and more, as well as creating custom equations. Pivot Tables: How to create pivot tables and use them for data analysis. Conditional Formatting: How to set up conditional formatting for cells based on specific criteria. Charts and Graphs: Create charts and graphs to visualize data. Data Review: Explanation of tools for data review, such as filters, sorting, and search. Within each lesson, interactive examples and practical exercises will be included to help students apply the concepts taught. Additionally, students can be directed to additional resources for further in-depth exploration of Excel if they are interested. These lessons will ensure that students can learn how to use Excel effectively at both basic and advanced levels, benefiting from my expertise in the field.

Francisco
MATLAB programming with PhD student in Geophysics with 7+ years of experience
Hi! Welcome to my class on Matlab programming! As a PhD student in Geophysics my main tool is my computer. In order to do science one needs to know how to program. I often use Matlab in order to analyze data, run numerical models, plot results and much more. So, let's embark on the journey of learning Matlab and explore its diverse capabilities together! For beginners: I have designed it for absolute beginners to become at ease with the language within 5 sessions of 1h. Message me to know the 5 classes curriculum and I will be more than happy to share it with you! For intermediate users: If you already know the basics of Matlab but want to go more in-depth on certain packages this is the right place! Message me and we can discuss what your needs are!