2.2.Связь математической логики с информатикой

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

Достижения математической логики используются для ана­лиза процессов переработки информации с помощью ЭВМ.

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

Теория информации изучает вид тех форм, в которых инфор­мация представляется в компьютере. Формализация любой информации, реально существующей в живой и неживой природе, происходит через компьютерное моделирование.

Системный ана­лиз изучает структуру реальных объектов и дает способы их фор­мализованного описания. Общая теория систем как часть систем­ного анализа изучает различные по характеру системы с общих позиций. Теория массового обслуживания изучает широкий класс моделей передачи и переработки информации в системах массо­вого обслуживания (СМО).

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

Искусственный интеллект -одно из молодых и перспектив­ных направлений информатики, появившееся во второй полови­не XX в. на базе вычислительной техники, математической логи­ки, программирования, психологии, лингвистики и других от­раслей знаний. Объектами его изучения являются межпредметные процедуры (метапроцедуры), используемые при решении задач, традиционно называемых интеллектуальными. Проникая в тайны творческой деятельности людей, искусственный интеллект созда­ет программные и программно-аппаратные модели таких мета­процедур.

Информационные системы применяются для анализа и про­гнозирования потока информации, исследования способов ее представления, хранения и извлечения. Актуальным является так­же создание информационно-поисковых систем, систем хране­ния, обработки передачи информации, в состав которых входят информационные базы данных, терминалы, средства связи. Опе­рационные системы связаны с разработкой и производством ком­пьютеров.

2.3.Возможности математической логики для программного обеспечения

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

Представление знаний - методы и приемы формализации ин­формации из различных областей знаний для их хранения, клас­сификации, обобщения и применения при решении конкретных задач.

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

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

• ЭВМ самостоятельно задает вопросы по полученной инфор­мации согласно заложенной в нее программе;

• Компьютер задает вопросы, которые заложены заранее в за­готовленную программистом модель беседы.

В процессе диалогового общения программист должен знать виды вопросов и ответов для составления программы, владеть правила­ми построения точных, непротиворечивых, логически выстроен­ных и адекватных ситуациям формулировок.

Часто приходится обрабатывать информацию, полученную в результате всевозможных статистических обобщений, социологи­ческих опросов и т.д., с помощью средств теории вероятностей и математической статистики. При этом понадобятся умения форму­лировать гипотезы о видах распределений, проверять их жизнеспо­собность, истинность, отражение реальности. Програм­мистам важно ориентироваться в различных видах индуктивных умозаключений и уметь отличать достоверные выводы от вероятно­стны. А это значит, что . применять в работе знания классической логики.