Logic. Методичні рекомендації до самостійної роботи з дисципліни

Скорочена інформація про документ
dc.contributor.authorКазаков, Мстислав Андрійович
dc.date.accessioned2023-06-17T10:39:32Z
dc.date.available2023-06-17T10:39:32Z
dc.date.issued2022
dc.description.abstractThe 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.uk
dc.description.abstractotherПосібник пропонує теми та матеріали для самостійної роботи для студентів, які обрали вибіркову дисципліну 'Logic' ОКР бакалавр для всіх спеціальностей та напрямків. Індивідуальна робота передбачає систематизоване, глибоке та помірковане вивчення основ формальної логіки, її центральних концептів та понять, систем прямого та непрямого доказу, таких як таблиці істинності, аксіоматичні системи, системи природньої дедукції, дерева істинності, центральними сімʼями логічних систем та метамов (їх синтаксис та семантика), такими як класична пропозиційна логіка (Булева алгебра мислення), першопорядкові логіки предикатів. Посібник також включає теми для обговорення, питання за темою та питання для самоперевірки, список додаткової літератури присвяченої темам, котрі обговорюються. Посібник містить додаткові діаграми, таблиці та схеми, присвячені кожній конкретній темі заняття та лекції.uk
dc.format.extent98 c.uk
dc.identifier.citationLogic. Методичні рекомендації до самостійної роботи з дисципліни [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра за всіма освітніми програмами всіх спеціальностей / КПІ ім. Ігоря Сікорського ; уклад. М. А. Казаков. – Електронні текстові дані (1 файл: 8,5 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2022. – 98 с. – Назва з екрана.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/57253
dc.language.isoenuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectlogicuk
dc.subjectmethodological recommendationsuk
dc.subjecttextbookuk
dc.subjectindividual workuk
dc.subjectoptional disciplineuk
dc.subjectformal logicuk
dc.subjectpropositional logicuk
dc.subjectfirst-order predicate logicuk
dc.subjecttruth tablesuk
dc.subjecttruth treesuk
dc.subjectnatural deductionuk
dc.subjectaxiomatic proofsuk
dc.subjectdeductionuk
dc.subjectinductionuk
dc.subjectabductionuk
dc.subjectsyllogismuk
dc.subjectrules of inferenceuk
dc.subjectmany-valued logicuk
dc.titleLogic. Методичні рекомендації до самостійної роботи з дисципліниuk
dc.typeLearning Objectuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
Logic_Metod_recom.docx
Розмір:
8.3 MB
Формат:
Microsoft Word XML
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Навчально-методичні матеріали (КФ)