Add to Wish List
from21.26GBP/ 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
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.
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, 2012Master 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?"
Ex. "Hi, when are you available to meet for a lesson?"
Availability of a typical week
(GMT -05:00) New York
Mon | Tue | Wed | Thu | Fri | Sat | Sun | |
---|---|---|---|---|---|---|---|
0 | |||||||
1 | |||||||
2 | |||||||
3 | |||||||
4 | |||||||
5 | |||||||
6 | |||||||
7 | |||||||
8 | |||||||
9 | |||||||
10 | |||||||
11 | |||||||
12 | |||||||
13 | |||||||
14 | |||||||
15 | |||||||
16 | |||||||
17 | |||||||
18 | |||||||
19 | |||||||
20 | |||||||
21 | |||||||
22 | |||||||
23 |
from £21.26Online via webcam
from £27.18At student's home
100% Satisfaction Guarantee
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
Mon | Tue | Wed | Thu | Fri | Sat | Sun | |
---|---|---|---|---|---|---|---|
0 | |||||||
1 | |||||||
2 | |||||||
3 | |||||||
4 | |||||||
5 | |||||||
6 | |||||||
7 | |||||||
8 | |||||||
9 | |||||||
10 | |||||||
11 | |||||||
12 | |||||||
13 | |||||||
14 | |||||||
15 | |||||||
16 | |||||||
17 | |||||||
18 | |||||||
19 | |||||||
20 | |||||||
21 | |||||||
22 | |||||||
23 |
from £21.26Online via webcam
from £27.18At 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
You are here
Similar classes
Mazuba
Complete IGCSE Computer Science & ICT: From Basics to Advanced ProgrammingThis course is tailored for IGCSE Computer Science and ICT students who want to master all the key topics in their curriculum. With a focus on practical programming skills, theoretical computer science concepts, and hands-on problem-solving, this class will guide you through the essential topics covered in the IGCSE syllabus. Learn the fundamentals of data representation, hardware and software, databases, and Boolean logic, and then build on those concepts with programming and algorithm design. Gain a deep understanding of the inner workings of computers and their applications in real-world scenarios.
By the end of this course, you will have a solid understanding of key computer science concepts and the practical skills to succeed in your IGCSE exams and beyond.
What You’ll Learn:
Data Representation: Learn how computers represent and process data, including binary, hexadecimal, and conversions between number systems.
Data Transmission: Understand how data is transmitted over networks, focusing on packet switching, USB, and data packets.
Hardware & Software: Gain a foundational understanding of computer hardware components and the role of software in running programs.
Boolean Logic: Explore logic gates, truth tables, and Boolean expressions, and apply them to solve complex problems.
Algorithm Design: Learn to design algorithms and solve problems using effective computational methods.
Programming: Master the basics of programming with hands-on coding in Python, C++, and C#.
Databases: Understand database structures, SQL queries, and primary keys. Build single-table databases and learn data management techniques.
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.
Younes
Scratch, Roblox: Code for Fun - A Fun Adventure for Kids and Beginners!With Scratch and Roblox, programming becomes child's play! Learn how to create animations, games, and interactive stories using colorful, easy-to-manipulate blocks of code. No complex language here, just a visual and intuitive approach to make learning as fun as possible.
Whether you are a parent wanting to introduce your children to the language of programming or a beginner curious to discover the world of coding, this training is suitable for all ages. No prerequisites necessary, just a dose of curiosity and a desire to have fun while learning.
As a trainer, I am committed to creating a caring and creative learning environment. I will use teaching methods adapted to each child, promoting positive interaction and encouraging the free expression of creativity. The goal is to make each lesson an engaging and enriching experience.
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.
Dishant
Maths Bootcamp for SAT, ACT, middle school and high school math preparation.Welcome to a tutoring experience designed to transform academic challenges into achievements! I provide specialized instruction in mathematics and science across all major curriculums, including US, UK, Indian, and Middle Eastern systems, with a particular focus on SAT, ACT, and AP exams.
As a certified tutor, I support students through every level of high school math—Algebra, Calculus, Geometry, Statistics, and Trigonometry—and core science concepts. My approach is deeply personalized, ensuring that each student receives instruction tailored to their unique strengths and learning goals. I prioritize student satisfaction and comprehension above all, committing to an environment where each concept is fully understood and every question addressed.
With customized learning plans, interactive tools, and hands-on projects, I make complex topics accessible and engaging. My goal is to inspire both skills mastery and a true enthusiasm for learning. Whether you're tackling advanced math, preparing for college admissions, or aiming for top scores in AP, SAT, or ACT exams, I’m here to provide dedicated support every step of the way.
Experience the difference a tailored, student-centered approach can make—where your success and understanding are always the priority.
Antonin
Experienced teacher in private lessons gives private lessons in the Geneva regionNeed 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 :)
Paul
I am a teacher of mathematics and I give extra hours for private lessons in science subjectsAs 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.
Ossama
Industrial Computing and Industrial Programmable Logic Controllers (API): With a degree in electrical engineering, I offer quality teaching.Doctor of Electrical Engineering and Associate Professor of Electrical Engineering, I offer quality teaching for BTS, CPGE, University and Technical High School. With expertise in the field of industrial computing, as well as many years of academic and practical experience, I am delighted to accompany you in exploring the essential concepts and technologies that shape modern industry. My commitment is to provide you with a deep understanding and practical skills to excel. This course covers fundamental and advanced aspects such as:
- Introduction to industrial computing: Definitions, history, applications.
- Computer systems architecture: Hardware, software, operating systems.
- Industrial networks and communication: Communication protocols, industrial networks (Modbus, Profibus).
- Basic programming: Programming languages (C, C++), databases.
- Introduction to programmable logic controllers (PLC): Structure, operation, basic programming (Ladder,
ST).
- Supervision and control: Introduction to SCADA systems, human-machine interfaces (HMI).
- Industrial local networks: industrial Ethernet, Profinet, CAN bus.
- Advanced programming of automatons: Structured programming, functions and functional blocks.
- Embedded systems: Microcontrollers, interfaces, serial communication.
Hamza
Private lessons in Mathematics for high school and undergraduate students (analysis, Algebra, etc.):As a passionate teacher and doctoral student in mathematics, I offer tailor-made support courses for levels (high school, license (1st and second year (Fssm, fst)...). Whether to understand complex concepts, prepare for an exam or strengthen your skills, I am here to help you succeed.
Mouad
Support course in Python (For all levels, CPGE)Passionate about programming, we offer Python support courses adapted to all levels, from beginner to advanced. These courses are aimed at students in preparatory classes for grandes écoles (CPGE) as well as anyone wishing to acquire solid programming skills.
The lessons cover the essential foundations of Python with a clear and accessible teaching approach. Whether you are new to programming or want to deepen your knowledge, you will benefit from structured and progressive teaching.
With a focus on concrete concepts and practical examples, these courses aim to strengthen your skills in a tangible way. You will be guided through the nuances of Python, gaining a deep understanding that will benefit you both in your studies and in your future career.
Join us to explore the fundamentals of Python programming and progress to more advanced levels. Together, we will build a solid foundation and develop the skills needed to succeed in the dynamic world of computer programming.
Azzedine
Développez votre expertise en Power BI et Business Intelligence : Créez des tableaux de bord percutants et des visualisations de données proVous ê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.
Mathieu
Wordpress private lesson - From beginner to expertWith 7 years of experience as a developer in a Factory, I now develop Wordpress websites for large groups.
In the training program, you will learn to:
- Install, configure, and deploy WordPress sites
- Develop custom Wordpress themes and plugins
- Use powerful tools like ACF Pro, Gravity Forms, WPML, AIOS Security, WP rocket...
- Create custom post types and tailor-made taxonomies
- Develop pages using the right methods in HTML, CSS, Javascript & PHP
- Administer and manage a site database
- Contribute to the good natural referencing (SEO) of your site
- Use WP-Cli to speed up the maintenance of your sites
- Use Docker to containerize your local/prod projects and facilitate their management
- Administer your WP sites the right way
- And much more...
For any questions, you can contact me by PM.
See you soon,
Matthew
Reza
Systematic Reasoning and Logical Thinking for Computer ScienceYou 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! :)
Wissam
Experienced doctor in computer science offers quality teaching in JAVA, C, Python, WEB, Algorithmics, UML, SQL.I created this course especially for students having difficulty progressing in their computer programming courses/projects. I support students of all university levels. My help covers many others:
- Analysis and planning of projects
- Technological choice in languages and tools/framework
- Algorithmic and programming support
- Assistance with debugging and code correction
- Data modeling (MCD/MLD diagram, UML diagrams)
Why choose my courses?
My method is different and more adapted than that of traditional teachers because it is:
* Personalized: Adapted to your level and your specific needs.
* Interactive: Promotes interaction and visualization of concepts.
* Practical: Oriented towards practice with concrete exercises and projects.
* Proven: I have already managed to help more than 200 students in the space of 2 years.
Adam
Basic concepts of algorithms and data structures in computer scienceOnline Course: Basic Concepts of Algorithms and Data Structures
Duration :
- 60 minutes: condensed format to introduce fundamental concepts with targeted exercises.
- 90 minutes: extended format to explore concepts in depth, solve complex problems, and include an interactive question-and-answer session.
---
General description
This course is designed for students and professionals who are new to computer science, as well as those who want to solidify their foundation in algorithms and data structures. It provides a clear and practical introduction to the essential tools for solving problems effectively, by learning how to design and analyze algorithms. Whether you are preparing for an exam, a technical interview, or want to improve your programming skills, this course will guide you in understanding theoretical concepts and their practical application.
---
Educational objectives
At the end of the course, participants will be able to:
1. Understand the fundamental concepts of algorithms: sorting, searching, time complexity.
2. Master key data structures: arrays, lists, stacks, queues, trees, and graphs.
3. Solve problems by choosing appropriate data structures and algorithms.
4. Analyze and optimize the performance of algorithms.
---
Course syllabus
1. Introduction (5-10 min)
- Presentation of the objectives and concepts covered.
- Importance of algorithms and data structures in computer science.
2. Fundamental concepts (20-30 min)
- Definitions and roles of algorithms and data structures.
- Temporal and spatial complexity: basic notions (Big O).
- Basic data structures: arrays, lists, and dictionaries.
3. Practical application and examples (30-40 min)
- Simple sorting implementation (insertion sort, bubble sort).
- Search example (linear search, binary search).
- Manipulation of stacks and queues through practical exercises.
- Bonus for the 90 min format: Exploration of trees and graphs (simple example of a route).
4. Q&A and conclusion (5-10 min)
- Review of the concepts covered.
- Tips for continuing to practice and progress.
- Suggestions for personal projects to apply the knowledge acquired.
---
Teaching methodology
- Interactive learning: a combination of theoretical explanations and practical applications.
- Concrete examples: each concept is illustrated by practical cases and guided exercises.
- Adaptation to needs: the courses are adjusted to the level and objectives of each participant, with a focus on the most relevant aspects.
---
Target audience
This course is aimed at:
- Computer science students wishing to strengthen their mastery of the basics before exams or projects.
- Programming beginners who want to understand the essential mechanisms behind problem solving.
- Professionals preparing for technical interviews or seeking to improve their understanding of algorithms.
---
Benefits of this online course
- Personalized support from an experienced trainer.
- Educational materials and practical exercises accessible after the session.
- Flexible hours to fit your schedule.
- Progressive approach to facilitate learning, even for beginners.
Develop your skills in algorithms and data structures today to efficiently solve the complex problems of tomorrow!
---