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

初めまして。 フロリャンと申します。初心者からビジネスマンまで皆様に優しく英語とオランダ語を教えます。 日本語大丈夫です、でもゆっくりはなしてください。 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.