Спирина, М.С. Дискретная математика

Информационные системы применяются для анализа и про­ гнозирования потока информации, исследования способов ее представления, хранения и извлечения. Актуальным является так­ же создание информационно-поисковых систем, систем хране­ ния, обработки передачи информации, в состав которых входят информационные базы данных, терминалы, средства связи. Опе­ рационные системы связаны с разработкой и производством ком­ пьютеров. Мы стоим на пороге информационной индустриализации об­ щества. Отсюда возникают социальные, правовые, технические проблемы, такие, например, как новые компьютерные техноло­ гии обучения, автоматизированные обучающие системы, автома­ тизированные рабочие места и др. Для нас представляют интерес все эти направления современ­ ной информатики. Теперь мы сможем осознать место дискретной математики в системе знаний, необходимых для тех, кто связал свою жизнь с компьютером. Для представителей многих специальностей, особенно для про­ граммистов, существенное значение в будущей профессиональ­ ной деятельности имеет знание классической логики, так как она образует математическую основу информатики. На знаниях законов логики базируются принципы алгоритми­ зации, которые лежат в основе программирования. Фундаментом всей вычислительной техники и автоматики является преобразо­ вание двоичных сигналов, анализ, проектирование и использова­ ние логических схем. Основу современной математической логи­ ки составляют исчисление высказываний и исчисление предика­ тов. Любой язык программирования базируется на исчислении высказываний и исчислении предикатов. В частности, на языке про­ граммирования «Пролог» анализируются различные виды дедук­ тивных умозаключений, выводятся достоверные следствия из них. Широко применяются логические методы для построения баз дан­ ных. Активно используются знания логики в развитии современ­ ных направлений информационных наук. Например, ряд проблем искусственного интеллекта невозможно решить без знаний основ классической логики. Рассмотрим их более подробно. Представление знаний — методы и приемы формализации ин ­ формации из различных областей знаний для их хранения, клас­ сификации, обобщения и применения при решении конкретных задач. Моделирование рассуждений — изучение и формализация раз­ личных умозаключений и их использование при решении задач средствами ЭВМ. Методы диалогового общения человека и машины. Специфика работы программистов заключается в том, что оппонентом в ди­ алоге выступает компьютер. В него заложены программы, обраба­ 12