facebook
favorite button
super instructor icon
Trusted teacher
This teacher has a fast response time and rate, demonstrating a high quality of service to their students.
member since icon
Since April 2026
Instructor since April 2026
Modern Web Development: Master HTML, CSS, and Vanilla JS with a Pro Developer
course price icon
From 22 C$ /h
arrow icon
Stop wasting time on boring theories! >
As a 14-year-old developer and creator of NebulaOS, I believe that the best way to learn Web Development is by building real projects. Whether you want to create a high-performance landing page or a complex web app, I will show you how to write clean, fast, and optimized code.

What I offer:

Pure Logic: Mastering Vanilla JavaScript without being a slave to heavy frameworks.

Speed & Efficiency: Learn how to make your websites load in milliseconds.

Project-Based Learning: We won't just talk; we will build.

Bac Info Support: Special sessions for Tunisian students to ace their practical exams.

My sessions are direct, practical, and designed for those who hate waiting and want results. Let’s build the future of the web together!
Extra information
Please have Visual Studio Code installed and a stable internet connection for the best experience.
Location
location type icon
Online from Tunisia
Age
Children (7-12 years old)
Teenagers (13-17 years old)
Adults (18-64 years old)
Seniors (65+ years old)
Student level
Beginner
Intermediate
Advanced
Duration
60 minutes
The class is taught in
English
Arabic
Availability of a typical week
(GMT -04:00)
New York
at teacher icon
Online via webcam
Mon
Tue
Wed
Thu
Fri
Sat
Sun
00-04
04-08
08-12
12-16
16-20
20-24
Similar classes
arrow icon previousarrow icon next
verified badge
As you know, speaking English is essential — especially when you’re abroad and don’t speak the local language. Whether you're starting from the basics or want to improve your fluency, I’m here to help you every step of the way!

I am an experienced French teacher who also teaches English, Armenian, and Russian. In my lessons, I focus on grammar while placing a strong emphasis on speaking and building confidence in real communication.

I’m known for being very patient, kind, and supportive, always creating a positive environment where my students feel comfortable and motivated to learn.

Classes are online .
Let’s start your language journey together — I look forward to meeting you, my lovely students! 🌟
verified badge
I am a qualified and experienced mathematics tutor. Graduated from the Free University of Brussels in 2011, I started my career by teaching remedial courses in different schools in Brussels. I then specialized in individual academic support by following educational training at the Harvard Graduate School of Education. I have been giving private mathematics lessons daily for over ten years.

The students who follow my private lessons benefit from personalized support. The first session is devoted to an in-depth assessment of the student's mathematical knowledge. The objective is to detect its weak points and understand their origin in order to adapt my courses to its needs. I develop a tailor-made remediation program for each of my students aimed at filling each of their gaps. Over the course of the sessions, the student builds a solid foundation for learning and regains self-confidence. At the same time, I help him acquire a work methodology that allows him to gradually become autonomous in his studies.

I have a thorough knowledge of the mathematics curriculum for middle and high school (from 6th to 12th grade). I am also qualified to support students in preparing for international exams such as the SAT, the OMPT, and the International Baccalaureate (IB) in all its variations: Analysis and Approaches (AA SL/HL) and Applications and Interpretation (AI SL/HL).

Throughout my years of training, I studied and developed numerous techniques that facilitate learning mathematics. The strength of my teaching approach lies in my ability to explain, in simple terms, anything a student finds complicated. I am passionate about this profession because it offers me the opportunity to guide struggling students toward success. It is a true pleasure to see them progress and rediscover their connection with the fascinating world of mathematics.

I offer private tutoring in Paris (at the student's home) or remotely (online). My online lessons take place on an interactive whiteboard. This whiteboard is specifically designed to facilitate student/teacher interaction online. Thanks to this teaching tool, my online lessons are just as effective as in-person lessons. The student only needs an internet connection and a computer, tablet, or smartphone to participate.
verified badge
I'm a Spanish teacher with over 20 years of experience in education, and my goal has always been clear: to help students learn the language in a practical, natural, and meaningful way.

My teaching approach is centered around real-life situations, with a strong focus on speaking and oral expression. I use a modern, engaging, and student-friendly method that encourages communication from day one.

I truly believe that learning a language is not just about memorizing rules—it's about living it, using it, and enjoying the journey.

I’m passionate about guiding each student along their path and providing them with the tools they need to feel confident using Spanish in real contexts.
verified badge
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.
verified badge
Python is the most in-demand programming language in the world right now — and one of the easiest to learn with the right guidance.
Whether you've never written a line of code or you're a student who needs to pass a programming course, this is a practical, no-fluff introduction that gets you writing real code from session one.
What we can cover depending on your goals:

Python fundamentals: variables, loops, functions, data structures
- Object-oriented programming (OOP)
- Data manipulation with pandas and NumPy
- Introduction to machine learning with scikit-learn
- Database management with SQL
- C and Java upon request
- MATLAB and R available for engineering/science students

Why learn with me?
I'm not a student teaching on the side — I'm a professional engineer who uses Python daily for data analysis, modeling, and automation. I know exactly which concepts matter in the real world and which ones you can skip for now.
Sessions are 100% personalized: I adapt the pace, the examples, and the exercises to your background and your goal — whether that's passing your university exam, building a project, or landing a job.
verified badge
Homework support isn't about getting answers faster. It's about learning how to learn.
While some parents see homework as a battle, I see an opportunity: teaching your child how his brain actually works.

In this class, your child will learn:
✓ How to actually study: not "work harder," but use methods that stick (mind maps, spaced repetition, Pomodoro technique)
✓ Time management without stress: organizing a chaotic schedule without anxiety apps
✓ When to use AI wisely: ChatGPT and other tools as learning partners, not cheating shortcuts
✓ Skills that matter: clear communication, problem-solving like a real thinker, asking good questions
✓ Support in any subject: math, languages, science, humanities, whatever they struggle with


How it works:
We start by understanding how your child actually learns, we don't impose a system that doesn't work for him.
Then we build a toolkit: proven study methods, personal strategies, technology used intelligently, and the confidence that he can learn anything.

What they take home:
A study system that works for him, not for others. Techniques he uses across all subjects. And something more important: the belief that learning isn't something that happens to him — it's something he controls.

Format: Online or Barcelona | 60–90 min sessions | Personalized to his age, subjects, and pace.
For parents wondering "Why is homework still a battle?"

Let's rebuild the foundation
verified badge
We will learn the Arabic language used among people. We can call it Modern Egyptian Arabic. We have a distinguished curriculum for teaching Arabic in fun, interactive ways. The study is divided into six main levels: A1, A2, B1, B2, C1, C2.

We will learn listening, conversation, vocabulary, and expressions, and we can give special attention to one skill based on your wishes. I have enough experience and skills to create an organized class, a clear plan, and achieve precise goals.

I use interactive learning in my class. You will feel fun while learning and you will also learn through games if you are young.

I will use a curriculum appropriate to your ages and goals.
Let's speak Egyptian Arabic as quickly as possible; you'll be speaking and saying complete sentences from day one.


I can't wait any longer 😀 Book your lesson now!
verified badge
Hello everyone! 👋
​Are you looking to learn French for beginners but unsure where to start? Do you dream of being able to speak French confidently, explore the rich French culture, and express yourself with ease? If so, this beginner French course is designed specifically for you! 🏁
​I’m Abir, a passionate language teacher from beautiful Tunisia 🇹🇳. French is my second language, and I’m super excited to guide you on your journey to learning French from scratch! 🎓 Whether you are starting from absolute zero or looking to strengthen your basic skills, these personalized French lessons are the perfect fit.
​
What You Will Achieve in This Course:
​By joining my classes, you will quickly gain the essential skills to understand and speak French fluently. This course opens doors to:
​🗣️ Conversational French: Engaging in exciting, everyday conversations.
​📚 Core Foundations: Mastering basic French grammar, vocabulary, and pronunciation.
​🌍 Cultural Immersion: Opening new doors to cultural experiences and French traditions.
​Don’t wait—dive into the wonderful world of the French language and culture with me! 🚀
​Ready to start your linguistic adventure? Book your first French lesson today and let’s embark on this exciting journey together! 🎉
​Stay safe and keep inspired! ✨
verified badge
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! :)
verified badge
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
Natural deduction
Semantic tableaux
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
verified badge
I teach Python specifically for finance and data applications - the kind used in economics, business analytics, and quantitative programs. This isn't a general "learn to code" course; it's built around real financial data, benchmarking, and the workflows you'll actually use in coursework or early career work.

Topics include:
Python fundamentals through a finance lens (data structures, functions, control flow).
Working with financial data and datasets.
Performance benchmarking and writing efficient code.
Applying concepts from Hilpisch's Python for Finance.
verified badge
With over seven years of experience in teaching Computer Science & Information Technology (ICT), I have developed a strong expertise in delivering high-quality education across multiple internationally recognized curricula, including Cambridge IGCSE, GCSE, A-Levels, O-Levels, and Checkpoint. My passion lies in equipping students with coding, cybersecurity, and digital literacy skills, ensuring they are well-prepared for the evolving demands of the digital world.

Expertise & Teaching Areas:
✅ Programming & Software Development: Python, Java, C++
✅ Cybersecurity: Ethical hacking, data protection, network security
✅ Digital Literacy: ICT applications, online safety, cloud computing
✅ Data Science & AI: Data analysis, machine learning fundamentals
✅ Web Development: HTML, CSS, JavaScript

Curriculum & Pedagogical Experience:
🔹 Cambridge IGCSE & GCSE ICT & Computer Science – Teaching core and extended syllabi, focusing on programming logic, databases, and networking.
🔹 Cambridge A-Levels & O-Levels Computer Science – Preparing students for advanced computing concepts, problem-solving, and algorithm development.
🔹 Cambridge Checkpoint ICT – Building foundational skills in digital technology and computer applications.

Professional Impact:
📌 Mentored students to achieve top grades in Cambridge ICT & Computer Science exams.
📌 Developed interactive lesson plans integrating real-world applications of technology.
📌 Conducted coding boot camps and cybersecurity workshops to enhance practical learning.
📌 Guided students in project-based learning, including app development and website design.

With a strong commitment to student-centered learning and technological innovation, I am dedicated to shaping future tech leaders and empowering learners with skills relevant to careers in technology, data science, and software development.
verified badge
This course introduces students to the fundamentals of Information and Communication Technology (ICT) and its role in modern society. Topics include computer hardware and software, digital communication tools, internet technologies, data management, cybersecurity, and emerging trends. Students will gain practical skills in using productivity software, conducting online research, and understanding the ethical and responsible use of digital resources. The course emphasizes both technical proficiency and digital literacy, preparing learners to confidently navigate and contribute to a technology-driven world.
verified badge
Does your child need academic support in Sion, either at your home or elsewhere via video call? I am available to help with homework, prepare for assessments, or review the day's lessons. I can also assist students with special needs.
I offer interactive and engaging activities. A teacher by profession, I worked for 15 years in an international school in Lausanne. Patient and caring, passionate about my work, I look forward to providing your child with the support they need.
verified badge
This module is a crucial step for any web developer wishing to move from simple DOM manipulation to mastering modern frameworks. The objective is clear: to understand the "invisible foundations" of the language in order to write shorter, more readable code and, above all, be ready to code professionally in React.

🎯 Training Objectives

1- Demystify the modern syntax (ES6+) often used in React.
2- Increase efficiency by using the most powerful syntactic shortcuts.
3- Secure your code to avoid frequent bugs related to missing data.
4- Mastering asynchronicity to manage data calls (API).

📖 Detailed program content

The course is divided into 13 key concepts, illustrated by comparative examples (classic syntax vs. modern syntax) and concrete use cases in React:

1- Ease of writing: Use of Template Literals (`backticks`) for dynamic character strings and Shorthand property names to simplify the creation of objects.

2- Logic and Functions: Mastery of Arrow => Functions (arrow functions) and their implicit return, essential for React components and hooks.

Data manipulation:

1- Destructuring (decomposition) to properly extract data from objects and arrays (e.g., Props and States).

2- Rest & Spread Operators (...) to copy arrays or merge objects without modifying the original (concept of immutability).

Code robustness:

1- Managing default parameter values.

2- Advanced security with Optional Chaining (?.) and Nullish Coalescing (??) to prevent application crashes.

3- Functional Programming: Intensive use of array methods (.map(), .filter(), .reduce(), .find()) to transform data into user interfaces.

4- Architecture and Asynchronism: Code organization via modules (Import/Export) and API request management with Promises and Async/Await.

🛠️ Teaching method: "Learning by doing"

This course is not just about theory. It includes:

The "Interstellar Dashboard" Exercise: A 15-minute thematic case study where students manipulate data from space missions. This allows them to immediately apply destructuring, filtering, and asynchronicity to a real-world project.

The Interactive Quiz: A series of 10 questions designed to validate understanding of each concept before moving on. Each question presents real-world scenarios that developers will encounter in React.

🚀 Learner's result

By the end of this course, students will not only "know" JavaScript; they will understand why and how each syntax is used to build efficient React components. They will leave with a solid foundation to confidently tackle Hooks (useState, useEffect) and complex state management.

Format: Clean visual presentation, coloured syntax for code, and focus on readability.
message icon
Contact Raslen
repeat students icon
1st lesson is backed
by our
Good-fit Instructor Guarantee
Similar classes
arrow icon previousarrow icon next
verified badge
As you know, speaking English is essential — especially when you’re abroad and don’t speak the local language. Whether you're starting from the basics or want to improve your fluency, I’m here to help you every step of the way!

I am an experienced French teacher who also teaches English, Armenian, and Russian. In my lessons, I focus on grammar while placing a strong emphasis on speaking and building confidence in real communication.

I’m known for being very patient, kind, and supportive, always creating a positive environment where my students feel comfortable and motivated to learn.

Classes are online .
Let’s start your language journey together — I look forward to meeting you, my lovely students! 🌟
verified badge
I am a qualified and experienced mathematics tutor. Graduated from the Free University of Brussels in 2011, I started my career by teaching remedial courses in different schools in Brussels. I then specialized in individual academic support by following educational training at the Harvard Graduate School of Education. I have been giving private mathematics lessons daily for over ten years.

The students who follow my private lessons benefit from personalized support. The first session is devoted to an in-depth assessment of the student's mathematical knowledge. The objective is to detect its weak points and understand their origin in order to adapt my courses to its needs. I develop a tailor-made remediation program for each of my students aimed at filling each of their gaps. Over the course of the sessions, the student builds a solid foundation for learning and regains self-confidence. At the same time, I help him acquire a work methodology that allows him to gradually become autonomous in his studies.

I have a thorough knowledge of the mathematics curriculum for middle and high school (from 6th to 12th grade). I am also qualified to support students in preparing for international exams such as the SAT, the OMPT, and the International Baccalaureate (IB) in all its variations: Analysis and Approaches (AA SL/HL) and Applications and Interpretation (AI SL/HL).

Throughout my years of training, I studied and developed numerous techniques that facilitate learning mathematics. The strength of my teaching approach lies in my ability to explain, in simple terms, anything a student finds complicated. I am passionate about this profession because it offers me the opportunity to guide struggling students toward success. It is a true pleasure to see them progress and rediscover their connection with the fascinating world of mathematics.

I offer private tutoring in Paris (at the student's home) or remotely (online). My online lessons take place on an interactive whiteboard. This whiteboard is specifically designed to facilitate student/teacher interaction online. Thanks to this teaching tool, my online lessons are just as effective as in-person lessons. The student only needs an internet connection and a computer, tablet, or smartphone to participate.
verified badge
I'm a Spanish teacher with over 20 years of experience in education, and my goal has always been clear: to help students learn the language in a practical, natural, and meaningful way.

My teaching approach is centered around real-life situations, with a strong focus on speaking and oral expression. I use a modern, engaging, and student-friendly method that encourages communication from day one.

I truly believe that learning a language is not just about memorizing rules—it's about living it, using it, and enjoying the journey.

I’m passionate about guiding each student along their path and providing them with the tools they need to feel confident using Spanish in real contexts.
verified badge
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.
verified badge
Python is the most in-demand programming language in the world right now — and one of the easiest to learn with the right guidance.
Whether you've never written a line of code or you're a student who needs to pass a programming course, this is a practical, no-fluff introduction that gets you writing real code from session one.
What we can cover depending on your goals:

Python fundamentals: variables, loops, functions, data structures
- Object-oriented programming (OOP)
- Data manipulation with pandas and NumPy
- Introduction to machine learning with scikit-learn
- Database management with SQL
- C and Java upon request
- MATLAB and R available for engineering/science students

Why learn with me?
I'm not a student teaching on the side — I'm a professional engineer who uses Python daily for data analysis, modeling, and automation. I know exactly which concepts matter in the real world and which ones you can skip for now.
Sessions are 100% personalized: I adapt the pace, the examples, and the exercises to your background and your goal — whether that's passing your university exam, building a project, or landing a job.
verified badge
Homework support isn't about getting answers faster. It's about learning how to learn.
While some parents see homework as a battle, I see an opportunity: teaching your child how his brain actually works.

In this class, your child will learn:
✓ How to actually study: not "work harder," but use methods that stick (mind maps, spaced repetition, Pomodoro technique)
✓ Time management without stress: organizing a chaotic schedule without anxiety apps
✓ When to use AI wisely: ChatGPT and other tools as learning partners, not cheating shortcuts
✓ Skills that matter: clear communication, problem-solving like a real thinker, asking good questions
✓ Support in any subject: math, languages, science, humanities, whatever they struggle with


How it works:
We start by understanding how your child actually learns, we don't impose a system that doesn't work for him.
Then we build a toolkit: proven study methods, personal strategies, technology used intelligently, and the confidence that he can learn anything.

What they take home:
A study system that works for him, not for others. Techniques he uses across all subjects. And something more important: the belief that learning isn't something that happens to him — it's something he controls.

Format: Online or Barcelona | 60–90 min sessions | Personalized to his age, subjects, and pace.
For parents wondering "Why is homework still a battle?"

Let's rebuild the foundation
verified badge
We will learn the Arabic language used among people. We can call it Modern Egyptian Arabic. We have a distinguished curriculum for teaching Arabic in fun, interactive ways. The study is divided into six main levels: A1, A2, B1, B2, C1, C2.

We will learn listening, conversation, vocabulary, and expressions, and we can give special attention to one skill based on your wishes. I have enough experience and skills to create an organized class, a clear plan, and achieve precise goals.

I use interactive learning in my class. You will feel fun while learning and you will also learn through games if you are young.

I will use a curriculum appropriate to your ages and goals.
Let's speak Egyptian Arabic as quickly as possible; you'll be speaking and saying complete sentences from day one.


I can't wait any longer 😀 Book your lesson now!
verified badge
Hello everyone! 👋
​Are you looking to learn French for beginners but unsure where to start? Do you dream of being able to speak French confidently, explore the rich French culture, and express yourself with ease? If so, this beginner French course is designed specifically for you! 🏁
​I’m Abir, a passionate language teacher from beautiful Tunisia 🇹🇳. French is my second language, and I’m super excited to guide you on your journey to learning French from scratch! 🎓 Whether you are starting from absolute zero or looking to strengthen your basic skills, these personalized French lessons are the perfect fit.
​
What You Will Achieve in This Course:
​By joining my classes, you will quickly gain the essential skills to understand and speak French fluently. This course opens doors to:
​🗣️ Conversational French: Engaging in exciting, everyday conversations.
​📚 Core Foundations: Mastering basic French grammar, vocabulary, and pronunciation.
​🌍 Cultural Immersion: Opening new doors to cultural experiences and French traditions.
​Don’t wait—dive into the wonderful world of the French language and culture with me! 🚀
​Ready to start your linguistic adventure? Book your first French lesson today and let’s embark on this exciting journey together! 🎉
​Stay safe and keep inspired! ✨
verified badge
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! :)
verified badge
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
Natural deduction
Semantic tableaux
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
verified badge
I teach Python specifically for finance and data applications - the kind used in economics, business analytics, and quantitative programs. This isn't a general "learn to code" course; it's built around real financial data, benchmarking, and the workflows you'll actually use in coursework or early career work.

Topics include:
Python fundamentals through a finance lens (data structures, functions, control flow).
Working with financial data and datasets.
Performance benchmarking and writing efficient code.
Applying concepts from Hilpisch's Python for Finance.
verified badge
With over seven years of experience in teaching Computer Science & Information Technology (ICT), I have developed a strong expertise in delivering high-quality education across multiple internationally recognized curricula, including Cambridge IGCSE, GCSE, A-Levels, O-Levels, and Checkpoint. My passion lies in equipping students with coding, cybersecurity, and digital literacy skills, ensuring they are well-prepared for the evolving demands of the digital world.

Expertise & Teaching Areas:
✅ Programming & Software Development: Python, Java, C++
✅ Cybersecurity: Ethical hacking, data protection, network security
✅ Digital Literacy: ICT applications, online safety, cloud computing
✅ Data Science & AI: Data analysis, machine learning fundamentals
✅ Web Development: HTML, CSS, JavaScript

Curriculum & Pedagogical Experience:
🔹 Cambridge IGCSE & GCSE ICT & Computer Science – Teaching core and extended syllabi, focusing on programming logic, databases, and networking.
🔹 Cambridge A-Levels & O-Levels Computer Science – Preparing students for advanced computing concepts, problem-solving, and algorithm development.
🔹 Cambridge Checkpoint ICT – Building foundational skills in digital technology and computer applications.

Professional Impact:
📌 Mentored students to achieve top grades in Cambridge ICT & Computer Science exams.
📌 Developed interactive lesson plans integrating real-world applications of technology.
📌 Conducted coding boot camps and cybersecurity workshops to enhance practical learning.
📌 Guided students in project-based learning, including app development and website design.

With a strong commitment to student-centered learning and technological innovation, I am dedicated to shaping future tech leaders and empowering learners with skills relevant to careers in technology, data science, and software development.
verified badge
This course introduces students to the fundamentals of Information and Communication Technology (ICT) and its role in modern society. Topics include computer hardware and software, digital communication tools, internet technologies, data management, cybersecurity, and emerging trends. Students will gain practical skills in using productivity software, conducting online research, and understanding the ethical and responsible use of digital resources. The course emphasizes both technical proficiency and digital literacy, preparing learners to confidently navigate and contribute to a technology-driven world.
verified badge
Does your child need academic support in Sion, either at your home or elsewhere via video call? I am available to help with homework, prepare for assessments, or review the day's lessons. I can also assist students with special needs.
I offer interactive and engaging activities. A teacher by profession, I worked for 15 years in an international school in Lausanne. Patient and caring, passionate about my work, I look forward to providing your child with the support they need.
verified badge
This module is a crucial step for any web developer wishing to move from simple DOM manipulation to mastering modern frameworks. The objective is clear: to understand the "invisible foundations" of the language in order to write shorter, more readable code and, above all, be ready to code professionally in React.

🎯 Training Objectives

1- Demystify the modern syntax (ES6+) often used in React.
2- Increase efficiency by using the most powerful syntactic shortcuts.
3- Secure your code to avoid frequent bugs related to missing data.
4- Mastering asynchronicity to manage data calls (API).

📖 Detailed program content

The course is divided into 13 key concepts, illustrated by comparative examples (classic syntax vs. modern syntax) and concrete use cases in React:

1- Ease of writing: Use of Template Literals (`backticks`) for dynamic character strings and Shorthand property names to simplify the creation of objects.

2- Logic and Functions: Mastery of Arrow => Functions (arrow functions) and their implicit return, essential for React components and hooks.

Data manipulation:

1- Destructuring (decomposition) to properly extract data from objects and arrays (e.g., Props and States).

2- Rest & Spread Operators (...) to copy arrays or merge objects without modifying the original (concept of immutability).

Code robustness:

1- Managing default parameter values.

2- Advanced security with Optional Chaining (?.) and Nullish Coalescing (??) to prevent application crashes.

3- Functional Programming: Intensive use of array methods (.map(), .filter(), .reduce(), .find()) to transform data into user interfaces.

4- Architecture and Asynchronism: Code organization via modules (Import/Export) and API request management with Promises and Async/Await.

🛠️ Teaching method: "Learning by doing"

This course is not just about theory. It includes:

The "Interstellar Dashboard" Exercise: A 15-minute thematic case study where students manipulate data from space missions. This allows them to immediately apply destructuring, filtering, and asynchronicity to a real-world project.

The Interactive Quiz: A series of 10 questions designed to validate understanding of each concept before moving on. Each question presents real-world scenarios that developers will encounter in React.

🚀 Learner's result

By the end of this course, students will not only "know" JavaScript; they will understand why and how each syntax is used to build efficient React components. They will leave with a solid foundation to confidently tackle Hooks (useState, useEffect) and complex state management.

Format: Clean visual presentation, coloured syntax for code, and focus on readability.
Good-fit Instructor Guarantee
favorite button
message icon
Contact Raslen