Kazakov, Mstislav2023-06-212023-06-212022Logic. Syllabus [Electronic resource] / Igor Sikorsky Kyiv Polytechnic Institute ; comp. Mstislav Kazakov. – Electronic text data (1 file: 93,5 Kb). – Kyiv : Igor Sikorsky Kyiv Polytechnic Institute, 2022. – 15 p. – Title from the screen.https://ela.kpi.ua/handle/123456789/57409The syllabus represents the learning plan, prerequisites, postrequisites, learning outcomes, seminars topics, theoretical and practical questions, references and textbooks needed for mastering the optional discipline 'Logic' for BA-degree recipients of higher education of all specialties, taught in English.15 p.enlogicformal logicphilosophyreasoninginferencespropositional logicsyllabusoptional disciplinefirst-order predicate logicBoolean algebrasymbolic logicdeductionDiscipline program