facebook
Florian
Trusted teacher
FavouritesAdd to Wish List
FavouritesAdd to Wish List
Trusted teacher
from28.78USD/ 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 $28.78Online via webcam
from $36.79At 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 -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 $28.78Online via webcam
from $36.79At 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


Rory
GCSE level Mathematics, Computer Science or Physics teacher
As a A level student, I have extremely recent experience in all the GCSE test content, style and format. This means I can provide a new angle on subjects and know how to explain new topics or topic your child is struggling with as I myself am learning new content everyday. This means I can be a personal tutor and target help to your child and therefore allow them to achieve the best grades possible. In my GCSES I achieved 9's in all these subjects and have continued them all on for A level including Further Maths. I believe as a student tutor I will be able to connect better with your child and therefore actively learn rather than seeing it as a lesson with some dreary old teacher. Please feel free to contact me for more details.

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

Adam
Learn algorithms and computer programming easily, at home and at your own pace.
As an experienced computer trainer, I offer personalized courses in the field of computer science in general, as well as in algorithms and programming. My goal is to help students progress without overburdening them. After each lesson, homework will be assigned and progress reports will be provided periodically. This course is intended for beginners as well as intermediate level students. The objective is to learn how to program functions and to develop professional thinking in this area.

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 !

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.

Bozhidar
Math/Computer Science Tutoring for high-school and BSc Computer Science students
Hey! Are you looking for a young, approachable yet meticulous tutor in Computer Science or Mathematics? Then I believe I might be the tutor for you! I offer lessons in the aforementioned subjects (English only) for high-school and bachelor students at the start of their studies. A little bit about me: My name is Bozhidar and I am a MSc Data Science student at ETH Zuerich. Last year, I completed my bachelor's in Computer Science at TU Delft (the #1 technical university in the Netherlands) with distinction. I was a teaching assistant for 10 courses during my stay at the university. Additionally, I have given private lessons to a few high school and bachelor's students, so I believe I have accumulated enough experience with guiding and tutoring students across different disciplines. I have found out that I enjoy teaching a lot, so that is why I am here - to help you and myself! My expertise: During my high school years, I won tens of awards and scholarships for achievements in Mathematics and Computer Science. I also won my high school's recognition award which is given to one student every year for distinctive results. I've helped high-school and university peers with exam preparation, taught whole courses privately, prepared sample exams, and reviewed and graded real ones. Regarding the university courses I have experience in, I have taught: - Object-Oriented Programming - Reasoning & Logic - Computer Organisation - Algorithms and Data Structures - Web and Database Technologies - Calculus - Information & Data Management - Automata, Computability and Complexity - Concepts of Programming Languages - Computational Intelligence Here are some of the reviews I have received as a teaching assistant: Overall: 4.97/5 (70 reviews) 5/5 - "Great job! Did far more than just explaining this example and went far deeper into the material, helping me to understand it." 5/5 - "Favourite TA. Always there for the difficult questions. Never leaves anything unanswered no matter how long it takes." 5/5 - "Delightful person with an insightful way of thought! Brilliant TA!" 5/5 - "Clear explanations and expert in the material" So, what are you waiting for? Write me a message and let's get the knowledge train running.

Aniket
AI Web Apps and Tools Mastery Classes | Practical Learning by Building Apps using AI (Langchain, OpenAI, HuggingFace, etc)
Hello, I'm doing a PhD in AI and ML using Python and am an Oracle-certified trainer with 350+ reviews and ratings [with proof attached], I will be able to teach you Python better than any of my competition. Why choose me? 1. 300 + reviews and ratings 2. Certified tutor 3. More than 5 years of teaching experience 4. Worked as a Software engineer in companies like Virtusa Corp and DIGIDEZ DIGITAL SYSTEMS 5. Hold B.tech and M.tech in Computer Science Featured Review : Been trying to learn Java on my own for about 1 year and I couldn't get a grasp on it. Aniket make learning Java a fun experience and challenges you to think for yourself to reinforce the concepts you've learned. I am truly excited for our meetings and he makes time go by so fast that I'm upset when they end. Great teacher and he is genuinely passionate about your success. If I could give him more stars I would!!! Thanks Aniket

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!

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

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.

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.

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.

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.

Francisco
PROJECT SUPPORT Python, R or Matlab with PhD student in Geophysics with 7+ years of experience
Welcome to my Programming Projects Support class! Are you facing hurdles with your programming projects? Let's tackle them together! As a Geophysics PhD student, I rely heavily on programming tools like Matlab, Python, and R for data analysis, mathematical modeling, plot results and much more. After a lot of requests from students I created this course which is specifically meant to give you support completing your final programming projects. Here's what you can expect: - We'll review your project's background and requirements. - Analyze your coding progress and identify areas for improvement. - Collaborate to overcome obstacles, debug your code and advance your project. - Tailored sessions based on your project's complexity and your skill level. Whether you require a single session or a series of in-depth consultations, my goal remains the same: to help you break through programming barriers and achieve your goals. Ready to level up your programming skills? Let's get started! Please note: This is a support course only ! While I'm here to guide you, the project's success lies in your hands and I will not finish your project for you.