1st lesson belanja
Attila's profile, qualifications and contact details have been verified by our experts
Attila
- Rate RM76
- Response 1h
-
Students1
Number of students accompanied by Attila since their arrival at Superprof
Number of students accompanied by Attila since their arrival at Superprof
RM76/h
Contact
1st lesson belanja
- Maths
- Algebra
- Logic
- Further Maths
Classical propositional & predicate logic questions eg. formalisation, proofs, proof trees (tableaux), solving problems and grasping concepts
- Maths
- Algebra
- Logic
- Further Maths
Lesson location
About Attila
BSc mathematics student with growth mindset & multi-perspective approach.
I tutor classical propositional & predicate logic—my current strength and joy.
I explore abstract mathematics & logic: non-classical logics, category theory, topology, types, topos theory, tilings, pedagogy, creative perspectives, mathematics as pattern & analogy, Lean4, etc.
See more
About the lesson
- Primary
- Secondary
- SPM
- +7
levels :
Primary
Secondary
SPM
Form 6
STPM
Adult education
Bachelor
Masters
Diploma
Doctorate
- English
- Italian
- Hungarian
All languages in which the lesson is available :
English
Italian
Hungarian
I help with your questions—concepts, problems, exams,
E.g. propositions, predicates, arguments, and logical consequence to truth tables, connectives (¬, ∧, ∨, →, ), and formal proofs.
Formalisition, translate English into PL (Propositional Logic), analyze validity,
Syntax, WFFs (well-formed formulas) built from atoms (P, Q) + connectives (¬, ∧, ∨, →, )
Semantics, truth tables; testing validity, tautologies, equivalence (e.g., P→Q ≡ ¬P∨Q).
Proofs, tableaux, tree rules for ¬, ∧, ∨, →; test valid/invalid, tautology, contradiction, satisfiable/non/satisfiable
Glossaries, recursive WFF definitions, models, basic categories and set view
Translation: English to PL
PL, MPL, GPL, identity
Connectives as functions, as morphisms, proof as path
Intuitition, analogies, everyday examples, connections, relevance, relationships, motivation,
Patterns, links across mathematics, other fields & life ,
Why & how of concepts, multiple perspectives
Bring a question—I research it & explore solutions with you
I also draw on textbooks, e.g., Nicholas J. J. Smith – Logic: The Laws of Truth, to give structured, clear explanations.
See more
Rates
Rate
- RM76
Pack rates
- 5h: RM382
- 10h: RM764
online
- RM76/h
free lessons
This first lesson is free to allow you to get to know your teacher so that they can best meet your needs.
- 30mins
Details
30min £7
45min £10.50
60min £14
Similar Maths tutors in London
Jun Kai
Kuala Lumpur & online
- RM200/h
- 1st lesson belanja
Lukman
Bandar Rimbayu & online
- RM40/h
- 1st lesson belanja
Andrew
Kuala Lumpur & online
- RM110/h
Bryan
Klang & online
- RM100/h
- 1st lesson belanja
Sathianathan
Johor Bahru & online
- RM80/h
Banuki
Kuala Lumpur & online
- RM50/h
Theresa
Petaling Jaya & online
- RM75/h
Yun Hang
Shah Alam & online
- RM75/h
Niq
Petaling Jaya & online
- RM60/h
- 1st lesson belanja
Saniya
Kuala Lumpur & online
- RM70/h
Bryan
Kuala Lumpur
- RM40/h
Marsha
Kuala Lumpur & online
- RM80/h
- 1st lesson belanja
Suganisha
Ampang Jaya & online
- RM30/h
George
Kuching & online
- RM60/h
Li
Kuala Lumpur & online
- RM70/h
- 1st lesson belanja
Dr Engr Oluwasegun
Petaling Jaya & online
- RM40/h
- 1st lesson belanja
Aron
Kuala Lumpur & online
- RM100/h
- 1st lesson belanja
Sarah
Kuala Lumpur & online
- RM45/h
- 1st lesson belanja
Denis
Kuala Lumpur & online
- RM200/h
- 1st lesson belanja
Grace
Kuala Lumpur & online
- RM70/h
- 1st lesson belanja
-
See Maths tutors
