Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

ВВЕДЕНИЕ. М.В. Ломоносовговорил: ”Математику уже затем учить надо, что она ум в порядок приводит”





М.В. Ломоносовговорил: ”Математику уже затем учить надо, что она ум в порядок приводит”.

В настоящее время никто не будет спорить с утверждением ,что во всякой науке ровно столько науки, сколько в ней математики.

Элементы математической логики относится к числу общепрофессиональных предметов, формирующих базовый уровень знаний, необходимых для изучения других дисциплин и междисциплинарных курсов, таких как “Архитектура ЭВМ, систем и сетей”, ”Базы данных”, ”Компьютерное моделирование”, ”Технология разработки программных продуктов”.

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

Современную математику часто определяют как науку, работающую с готовыми моделями и создающую новые. В современном мире математика становится методом мышления. В результате изучения курса элементов математической логики студенты смогут понять, каким образом с помощью языка математики формируются новые понятия. Этому способствует введение элементов логики, изучение которой помогает установлению связей между различными и, на первый взгляд, далекими понятиями.

Высокая востребованность в элементах математической логики как самостоятельной, очень важной части математики, связана с появлением первых вычислительных машин.

Сегодня компьютер, телефон, кредитная карточка и многие другие блага цивилизации стали необъемлемой составляющей нашего быта.

Сегодня наиболее значимой областью применения методов и правил элементов математической логики является область компьютерных технологий. Это объясняется необходимостью создания и усовершенствования ЭВМ, средств обработки и передачи информации, а также представления различных моделей на компьютере. Вряд ли требуется объяснять полезность методов моделирования в управлении, строительстве, биологии, химии и любых других отраслях науки и народного хозяйства. Основа моделирования - элементы математической логики.

Если раньше компьютер осваивали только те, кто непосредственно его обслуживал: программисты, электронщики, операторы, то в XXI веке без машинной обработки информации не обойдется ни одна отрасль деятельности. Стимулом для развития многих разделов элементов математической логики явились запросы теоретической кибернетики, непосредственно связанной с развитием ЭВМ. Теоретическая кибернетика занимается изучением различных практических проблем средствами ЭМЛ; одна из наиболее значимых: связь релейной – контактных схем с формулами алгебры логики и их использование для описания функционирования автоматов, что стимулировало развитие математической логики и теории автоматов. Математическая логика в широком смысле изучает основания математики, принципы построения математических теорий.



Можно сказать, что ЭМЛ – сердцевина современной математической кибернетики. Формальные методы, применяемые в информатике, опираются на такие фундаментальные понятия ЭМЛ как логика, множества, отношения, функции и др.

Изучение курса на должном уровне поможет лучшему освоению специальных дисциплин.

Формальная логика существует уже более двух тысячелетий. Ее основателем считается Аристотель. Идеи о построении логики на математической основе были высказаны Лейбницем в начале XXVIII века.

Впервые идеи Лейбница реализовал Джордж Буль в 40-х годах XIX столетия. Он создал алгебру, в которой буквами обозначил высказывания, и это привело к возникновению алгебры высказываний. Применение математике в логике позволило представить логические теории в новой удобной форме.

Современная математическая логика – это раздел математики, посвященный изучению математических доказательств и вопросов основания математики.

РАЗДЕЛ 1. ФОРМУЛЫ ЛОГИКИ





Дата добавления: 2014-01-03; Просмотров: 281; Нарушение авторских прав?


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:
studopedia.su - Студопедия (2013 - 2020) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.002 сек.