Cтраница 2
ЭВМ в виде ИИ рождают социальный интеллект как единую целенаправленную творческую систему. Социальный интеллект - не просто одно из важных понятий теоретической информатики. Это категория, посредством которой информатика смыкается с общественными науками. [16]
Другое дело - с какой глубиной осваивать; многие разделы теоретической информатики достаточно сложны и требуют основательной математической подготовки. [17]
Исходя из истории развития информатики, первостепенной задачей является формализация основных понятий информатики как науки. С этой целью в этой главе детально анализируются вводимые в теоретическую информатику категории и аксиомы, описываются свойства информатики, знание которых обязательно выпускнику технических вузов и факультетов. Вторая глава учебника продолжает начатое в первой главе формирование образа информатики в качестве одной из составляющих современного мировоззрения. [18]
Значительная часть талантливой молодежи страны тянется в нашу область, особенно в направления искусственного интеллекта и теоретической информатики. [19]
Рассматривая общие свойства информации, проблемы, связанные с ее рождением, кодированием, обработкой, передачей, потерей, теоретическая информатика объединяет целый ряд теоретических дисциплин, в том числе математическую логику, теорию информации, теорию кодирования. Она исследует информационные математические модели различных объектов и разрабатывает алгоритмы обработки информации для этих моделей. Тем самым теоретическая информатика охватывает такие дисциплины, как исследование операций ( включая системы массового обслуживания, теорию игр, теорию статистических решений), имитационное моделирование, системный анализ, теория алгоритмов. Отдельно отметим исследования, выполняемые с помощью компьютеров на математических моделях; такие исследования называют вычислительным экспериментом. [20]
Он возникает на наших глазах, что делает его особенно интересным: нечасто удается наблюдать и даже участвовать в рождении новой науки. Как и теоретические разделы других наук, теоретическая информатика формируется в основном под влиянием потребностей обучения информатике. [21]
Вторая глава представляет аксиоматический подход к логике и служит введением в теории первого порядка. В ней показано, как исчисление предикатов превращается в основу теории для изучения специфических математических структур. В этом контексте изложены некоторые фундаментальные вопросы логики, естественным образом продолжающиеся в теоретическую информатику. В частности, это касается алгоритмических языков Тьюринга и Геделя, тезиса Черча, класса вычислимых функций и понятия разрешимости. [22]
Этот проект для теории сложности оказался своего рода неожиданным подарком судьбы, но я очень отчетливо чувствую: что в целом информатика давно не финансировалась так плохо. Национальный научный фонд поддерживает несколько очень достойных новых инициатив, но это делается без соответствующего расширения финансовой основы, так что эти инициативы субсидируются за счет уже существующих программ. Хотя я должен сказать, что программа ИМН является исключением, в целом люди, занимающиеся теоретической информатикой, потеснены уменьшением финансирования вследствие смещения приоритетов ННФ - в основном в сторону инженерных исследований. [23]
Локомотивом когнитивного содружества, конечно, является теория искусственного интеллекта - ведь за ней стоят стремительно развивающиеся отрасли промышленности, связанные с производством компьютеров и электроники, развитием сети телекоммуникаций. Поэтому в когнитологии доминирует технологический подход к изучению знаний, а критерием качества когнитивных теорий является практическая реализация. Теория искусственного интеллекта в когнитологии понимается весьма широко и включает в себя теорию информации, теорию принятия решений и в последнее время - теоретическую информатику. [24]
Рассматривая общие свойства информации, проблемы, связанные с ее рождением, кодированием, обработкой, передачей, потерей, теоретическая информатика объединяет целый ряд теоретических дисциплин, в том числе математическую логику, теорию информации, теорию кодирования. Она исследует информационные математические модели различных объектов и разрабатывает алгоритмы обработки информации для этих моделей. Тем самым теоретическая информатика охватывает такие дисциплины, как исследование операций ( включая системы массового обслуживания, теорию игр, теорию статистических решений), имитационное моделирование, системный анализ, теория алгоритмов. Отдельно отметим исследования, выполняемые с помощью компьютеров на математических моделях; такие исследования называют вычислительным экспериментом. [25]
Представить достаточно полно структуру информатики невозможно в одной беседе. Относительно полно структура информатики как совокупности наук об информационных процессах представлена в книге Информатика: энциклопедический словарь для начинающих под редакцией академика ДА. Информатика включает в себя шесть основных направлений: 1) теоретическая информатика, 2) кибернетика, 3) искусственный интеллект, 4) программирование, 5) вычислительная техника ( без разработки элементной базы компьютеров), 6) информационные системы. Отдельно отмечают информатику в природе и информатику в обществе. [26]
Вычислительная техника в развитии информатики играет особую роль. Возникновение информатики как научного направления в середине XX столетия связано именно с появлением ЭВМ, ориентированных на хранение и преобразование информации. Появление ЭВМ, их быстрое развитие и внедрение в различные сферы общественной деятельности привело к возникновению нового научно-технического направления, которое называется вычислительная техника. Специалисты по вычислительной технике разрабатывают новые структуры и принципы работы вычислительных машин, модифицируют и качественно улучшают элементарную базу, на которой строятся компьютеры, создают компьютерные сети и т.п. Работа специалистов по вычислительной технике тесно связана с информатикой и программированием. Многие задачи теоретической информатики являются основополагающими и для специалистов по вычислительной технике, а без усилий программистов, разрабатывающих программное обеспечение ЭВМ, никакая вычислительная машина не сможет работать. Поэтому в раздел прикладной информатики включена тема о вычислительных средствах. [27]
В этой главе изложены основные понятия и определения информатики. Детально раскрываются фундаментальные понятия информации, данных, знаний, информатики, информационной технологии, информационного ресурса. Даются классификация и краткое пояснение автоматизированных информационных систем как объекта изучения информатики. Анализируется информационный ресурс в качестве предмета информатики. Все это помогает сразу вникнуть в содержательную часть информатики и облегчает понимание существа теоретической информатики. Краткое изложение истории развития информатики способствует становлению естественнонаучного понимания. Изучение материала первой главы дает возможность ответить на ряд вопросов: что такое информатика. [28]