facebook
favorite button
member since icon
Sinds juni 2023
Leraar sinds juni 2023
Computer science, engineering, informatics and programming
course price icon
Van 33.27 $ /h
arrow icon
I'm Marco, Italian, I'm 32 and I have a PhD in computer science, I have a great curriculum and I havebeen teaching as a freelance for three years. I offer classes in Japan during the month of July and August.
I teach in three languages
Extra informatie
Mostly working online through Google meet
Locatie
green drop pin icon
|
Gebruik Ctrl + muiswiel om in te zoomen
zoom in iconzoom out icon
location type icon
Plaats gekozen door de student :
  • In de omgeving van Tokio, Japan
location type icon
Online vanuit Japan
Leeftijd
Peuters (0-3 jaar oud)
Kleuters (4-6 jaar oud)
Kinderen (7-12 jaar oud)
Tieners (13-17 jaar oud)
Volwassenen (18-64 jaar oud)
Senioren (65+ jaar oud)
Niveau van de leerling
Beginner
Gemiddeld
Gevorderden
Duur
60 minuten
90 minuten
120 minuten
De les wordt gegeven in
Engels
Spaans
Italiaans
Beschikbaarheid typische week
(GMT -05:00)
New York
at teacher icon
Online via webcam
at home icon
Bij de student thuis
Mon
Tue
Wed
Thu
Fri
Sat
Sun
00-04
04-08
08-12
12-16
16-20
20-24
Vergelijkbare lessen
arrow icon previousarrow icon next
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
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
verified badge
Hi! I’m a young motivated tutor with a master’s and bachelor's degree in Computer Science from a global top university. I’m passionate about helping you reach your goals. I will spend hours preparing the lesson.

Python, AI, or making a website; my personalized approach means you decide what matters most. Whether you need a deep dive into theory, hands-on coding sessions, guided exercises, or project-based learning, I’m here to craft a session that fits your goals. I’m committed to going the extra mile: from designing custom presentations and assignments to learning new programming languages or frameworks just to meet your needs. No matter how many hours or sessions you require, I’ll work with you to set the pace that’s right for you.


I provide tutoring across a wide range of topics:

General Subjects:
• Programming & Software Development
• Software Modeling & Architecture, Requirements Engineering
• Software Testing
• Web Applications, Computer Networks & Databases
• Artificial Intelligence

Specific Topics:
• Languages: Python, Java, JavaScript, C, Haskell, Prolog, Scratch
• Tools & Technologies: Git (and GitHub), HTTP, HTML, CSS, React, Node.js, SQL


If you are one of the following, you are at the right place:
- University student (undergraduate and postgraduate).
- High school student
- Need assistance with a project at a professional level.
- Younger person looking to take their first steps in programming


My Tutoring Style
I’m patient, approachable, and enthusiastic about teaching. No question is off limits. I’m here to explain concepts until they click. Whether you’re new to programming or looking to advance your skills, my tutoring is designed to be flexible and responsive to your learning style. Group discounts and flexible pricing options are available.

Let’s connect and design a learning experience that’s all about you!
message icon
Contacteer Marco
repeat students icon
1e les wordt ondersteund
door onze
Good-fit Leraar Garantie
Vergelijkbare lessen
arrow icon previousarrow icon next
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
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
verified badge
Hi! I’m a young motivated tutor with a master’s and bachelor's degree in Computer Science from a global top university. I’m passionate about helping you reach your goals. I will spend hours preparing the lesson.

Python, AI, or making a website; my personalized approach means you decide what matters most. Whether you need a deep dive into theory, hands-on coding sessions, guided exercises, or project-based learning, I’m here to craft a session that fits your goals. I’m committed to going the extra mile: from designing custom presentations and assignments to learning new programming languages or frameworks just to meet your needs. No matter how many hours or sessions you require, I’ll work with you to set the pace that’s right for you.


I provide tutoring across a wide range of topics:

General Subjects:
• Programming & Software Development
• Software Modeling & Architecture, Requirements Engineering
• Software Testing
• Web Applications, Computer Networks & Databases
• Artificial Intelligence

Specific Topics:
• Languages: Python, Java, JavaScript, C, Haskell, Prolog, Scratch
• Tools & Technologies: Git (and GitHub), HTTP, HTML, CSS, React, Node.js, SQL


If you are one of the following, you are at the right place:
- University student (undergraduate and postgraduate).
- High school student
- Need assistance with a project at a professional level.
- Younger person looking to take their first steps in programming


My Tutoring Style
I’m patient, approachable, and enthusiastic about teaching. No question is off limits. I’m here to explain concepts until they click. Whether you’re new to programming or looking to advance your skills, my tutoring is designed to be flexible and responsive to your learning style. Group discounts and flexible pricing options are available.

Let’s connect and design a learning experience that’s all about you!
Good-fit Leraar Garantie
favorite button
message icon
Contacteer Marco