Logic
Это стандартный курс «Logic 1» Мельбурнского университета, который разработали Greg Restall и Jen Davoren. Я занимаюсь со студентами по их англоязычному учебнику. Обучение происходит на английском языке.
При этом я адаптировал данный курс для отечественной аудитории, то есть доработал его таким образом, чтобы во время обучения логике была возможность «подтянуть» знания по английскому языку и полноценно практиковаться во всех четырёх навыках, связанных с английским языком – writing, speaking, reading, listening.
Я имею четырёхлетний опыт преподавания академических предметов на английском языке. В 2017 г. я успешно прошёл IELTS Academic English exam. Мой уровень владения английским языком - Upper intermediate (B2).
COURSE TOPICS
1. Connectives
(propositional logic, conjunction, disjunction, conditionals, bi-conditional)
2. Propositional Formulas
(formal language, syntax, formulas, atoms)
3. Formalisation
(dictionary, the three stages of formalisation)
4. Expressive power
(databases, scope ambiguities)
5. Models for Propositional Logic: Truth Tables
(semantics of propositional logic formulas, true or false, truth table)
6. The Material Conditional & Bioconditional
(truth-transfer, material conditional, content connection, the semantics of the bi-conditional, inequality or oppositeness of truth-values)
7. Classifying Propositions
(tautology, contradiction, satisfiable formula, contingent formula)
8. Relationships Between Propositions
(logical consequence, logical equivalence, contradictories, contraries, sub-contraries)
9. Validity
(premises, conclusion, definition of validity, validity and the material conditional, deduction theorem)
10. Argument Forms
(multiple forms, invalid forms, sound forms)
11. Intro to Proof Trees
(literals, distinct branches, branch close, graphical and mechanical way of determining)
12. Rules for Proof Trees for Propositional Logic
(conjunction, disjunction, conditional, biconditional, closure, negated conjunction, negated disjunction, negated conditional, negated biconditional, double negation, closed branch of a tree, partially developed tree, completed tree)
13. Trees: Soundness, Completeness
(soundness, completeness)
14. Logic and Computers
(software and logic, hardware and logic, automated reasoning, history of automated reasoning)
15. Computing Logical Consequence
(logical consequence problem, Horn clauses, Logic Programming, Prolog)
ОТЗЫВЫ
"Современность ставит перед любым специалистом и, тем более, инженером, задачу непрерывного саморазвития. В качестве ответа на этот запрос я выбрал обучение математической логике на английском языке под руководством Александра Викторовича. Я преследовал двоякую цель - для разработки новых алгоритмических решений мне был нужен хороший теоретический фундамент в области логики и введение в логическое и функциональное программирование на языке Prolog, для усовершенствования коммуникативных навыков – английский язык. В процессе обучения сформировалась и третья цель – методологическая. Александр Викторович хорошо знаком с западными стандартами организации научной деятельности, поэтому на практических занятиях заставляет не просто учить лексику, а, в первую очередь, мыслить как англоязычный инженер. Приобретение этого навыка крайне важно сейчас, когда большинство заказчиков являются иностранными. Александр Викторович быстро диагностировал слабые места в моей подготовке, и сейчас мы совместно работаем над их усилением. Могу сказать, что выбранный преподавателем подход удачно вписывается в современное понятие андрагогики – науки об обучении взрослых. Поэтому с уверенностью могу сказать, что поставленные мною цели обучения под руководством Александра Викторовича будут достигнуты. И, конечно, такие преподаватели гуманитарных дисциплин всегда будут нужны не только гуманитариям, но и всем, кто заинтересован в своем профессиональном и личностном росте".
Дмитрий Дегтярев, инженер-программист, разработчик систем автоматического управления, в 2018 году посещал частные занятия по курсу "Logic" А. Кулика
Узнать условия обучения, а также получить подробную информацию по курсу можно по электронной почте:
