1st lesson free
The profile of Attila and their contact details have been verified by our experts
Attila
- Rate TSh 49,346
- Response 1h
-
Students1
Number of students Attila has accompanied since arriving at Superprof
Number of students Attila has accompanied since arriving at Superprof
TSh 49,346/hr
Contact
1st lesson free
- Mathematics
- Algebra
- Logic
Classical propositional & predicate logic questions eg. formalisation, proofs, proof trees (tableaux), solving problems and grasping concepts
- Mathematics
- Algebra
- Logic
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 school
- Ordinary Level
- Form 5
- +8
levels :
Primary school
Ordinary Level
Form 5
Form 6
Ordinary Diploma
Adult Education
Bachelor’s Degree
Master’s Degree
PhD / Doctorate
MBA
Nursery
- 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
- TSh 49,346
Pack prices
- 5h: TSh 246,731
- 10h: TSh 493,462
online
- TSh49,346/h
free lessons
The first free lesson with Attila will allow you to get to know each other and clearly specify your needs for your next lessons.
- 30mins
Details
30min £7
45min £10.50
60min £14
Similar Mathematics teachers in London
MBIKIYE
& Online
- TSh 15,000/hr
- 1st lesson free
Ibrahim
Dar es Salaam & Online
- TSh 30,000/hr
- 1st lesson free
Alphonce
Dar es Salaam & Online
- TSh 30,000/hr
- 1st lesson free
Sarah
Dar es Salaam & Online
- TSh 110,000/hr
- 1st lesson free
Husna
Dar es Salaam & Online
- TSh 35,000/hr
- 1st lesson free
Alireza
Richmond Hill, Canada & Online
- TSh 90,917/hr
- 1st lesson free
Poonam
London, United Kingdom & Online
- TSh 352,552/hr
Riccardo
Roma, Italy & Online
- TSh 75,080/hr
- 1st lesson free
Chris
Paris 16e, France & Online
- TSh 351,372/hr
- 1st lesson free
Hamid
Vancouver, Canada & Online
- TSh 144,725/hr
- 1st lesson free
Houssem
Paris 1er, France & Online
- TSh 180,191/hr
- 1st lesson free
Mounir
Paris 8e, France & Online
- TSh 360,382/hr
- 1st lesson free
Ptashanna
Paris 2e, France & Online
- TSh 300,318/hr
- 1st lesson free
Romain
Paris 5e, France & Online
- TSh 165,175/hr
- 1st lesson free
Gianni
Ariano Irpino, Italy & Online
- TSh 66,070/hr
- 1st lesson free
Drew
New York, United States & Online
- TSh 65,750/hr
- 1st lesson free
Gaël
Paris, France & Online
- TSh 105,111/hr
- 1st lesson free
Samuel
Lisboa, Portugal & Online
- TSh 81,086/hr
- 1st lesson free
Gregor
Heidelberg, Germany & Online
- TSh 177,188/hr
- 1st lesson free
Paolo
London, United Kingdom & Online
- TSh 123,393/hr
- 1st lesson free
-
See Mathematics tutors
