Logic. Методичні рекомендації до самостійної роботи з дисципліни
Ескіз недоступний
Дата
2022
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
The textbook proposes topics and materials for individual work for the learners of the optional learning discipline ‘Logic’ for bachelor degree educational programs of all directions and professions. The individual work itself deals with thoughtful, profound and systematic study of the insights into formal logic, its key concepts and notions, systems of proof (direct and indirect), such as Truth Tables, Axiomatic Systems, Natural Deduction Systems, Tree Tableaux, and is centered around such logical families and metalanguages (with their syntax and semantics) as Classical Propositional Logic (Boolean algebra of thinking) and First-Order Predicate Monadic & Polyadic Logic. It also includes the discussion topics and questions, as well as self-assessment questions and the list of additional textbooks dedicated to all the topics which are discussed. The textbook is supplied with additional diagrams, tables and schemes dedicated to each topic in particular.
Опис
Ключові слова
logic, methodological recommendations, textbook, individual work, optional discipline, formal logic, propositional logic, first-order predicate logic, truth tables, truth trees, natural deduction, axiomatic proofs, deduction, induction, abduction, syllogism, rules of inference, many-valued logic
Бібліографічний опис
Logic. Методичні рекомендації до самостійної роботи з дисципліни [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра за всіма освітніми програмами всіх спеціальностей / КПІ ім. Ігоря Сікорського ; уклад. М. А. Казаков. – Електронні текстові дані (1 файл: 8,5 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 98 с. – Назва з екрана.