Навчально-методичний комплекс дисципліни "Математична логіка"

Abstract

Дисципліна є теоретичною та практичною основою сукупності знань та вмінь, що формують профіль фахівця економічної кібернетики в області математичного моделювання, прогнозування та оптимізації економічних процесів з застосуванням інформаційних технологій. Метою викладання навчальної дисципліни є започаткування знань студентів в області математичної логіки, оволодіння основними поняттями алгебри висловлювань, логіки Буля та логіки Жегалкіна та логіки розкладання бульових функцій, формування вмінь використовувати їх для розв’язування конкретних задач, та представлення про методи та моделі, які грунтуються на логічній та логіко-ймовірнісній основі і використовуються в економіці та фінансах, при вивченні моделей прийняття стратегічних і тактичних рішень індивідувами, фірмами та іншими економічними агентами, зокрема, в авіаційній галузі.

Discipline is a theoretical and practical basis of a set of knowledge and skills forming a profile of a specialist in economic cybernetics in the field of mathematical modeling, forecasting and optimization of economic processes with the use of information technologies. The purpose of teaching the discipline is to start the knowledge of students in the field of mathematical logic, mastering the basic concepts of algebra of utterances, the logic of Bulla and the logic of Zhegalkin, and the logic of decomposition of boolean functions, the formation of skills to use them for solving specific problems, and the presentation of methods and models that are based on a logical and logical-probabilistic basis and used in economics and finance, when studying models of making strategic and tactical decisions by individuals, firms and others agents, particularly in the aviation industry.

Дисциплина является теоретической и практической основой совокупности знаний и умений, формирующие профиль специалиста экономической кибернетики в области математического моделирования, прогнозирования и оптимизации экономических процессов с применением информационных технологий. Целью преподавания учебной дисциплины является учреждение знаний студентов в области математической логики, овладение основными понятиями алгебры высказываний, логики Буля и логики Жегалкина и логики разложения булевых функций, формирование умений использовать их для решения конкретных задач, и представление о методах и модели, основанные на логической и логико-вероятностной основе и используются в экономике и финансах, при изучении моделей принятия стратегических и тактических решений индивидувамы, фирмами и другими агентами, в частности, в авиационной отрасли.