Информатика – это изучение вычислений , информации и автоматизации . [1] [2] [3] Информатика охватывает теоретические дисциплины (такие как алгоритмы , теория вычислений и теория информации ) и прикладные дисциплины (включая проектирование и внедрение аппаратного и программного обеспечения ). [4] [5] [6] Хотя информатика чаще считается академической дисциплиной , она тесно связана с компьютерным программированием . [7]
Алгоритмы и структуры данных занимают центральное место в информатике. [8] Теория вычислений касается абстрактных моделей вычислений и общих классов задач , которые можно решить с их помощью. Области криптографии и компьютерной безопасности включают изучение средств безопасной связи и предотвращения уязвимостей безопасности . Компьютерная графика и вычислительная геометрия занимаются созданием изображений. Теория языков программирования рассматривает различные способы описания вычислительных процессов, а теория баз данных касается управления хранилищами данных. Взаимодействие человека и компьютера исследует интерфейсы, через которые взаимодействуют люди и компьютеры, а разработка программного обеспечения фокусируется на дизайне и принципах разработки программного обеспечения. Такие области, как операционные системы , сети и встроенные системы, исследуют принципы и конструкцию сложных систем . Компьютерная архитектура описывает конструкцию компьютерных компонентов и компьютерного оборудования. Искусственный интеллект и машинное обучение направлены на синтез целенаправленных процессов, таких как решение проблем, принятие решений, адаптация к окружающей среде, планирование и обучение, присущие людям и животным. В рамках искусственного интеллекта компьютерное зрение направлено на понимание и обработку изображений и видеоданных, а обработка естественного языка направлена на понимание и обработку текстовых и лингвистических данных.
Фундаментальная задача информатики — определить, что можно, а что нельзя автоматизировать. [2] [9] [3] [10] [11] Премия Тьюринга обычно считается высшей наградой в области информатики. [12] [13]
Самые ранние основы того, что впоследствии стало информатикой, возникли еще до изобретения современного цифрового компьютера . Машины для решения фиксированных числовых задач, такие как счеты , существовали с древних времен и помогали в таких вычислениях, как умножение и деление. Алгоритмы выполнения вычислений существовали с древности, еще до появления сложной вычислительной техники. [17]
Вильгельм Шиккард спроектировал и сконструировал первый работающий механический калькулятор в 1623 году. [18] В 1673 году Готфрид Лейбниц продемонстрировал цифровой механический калькулятор, названный « Ступенчатым счетчиком ». [19] Лейбница можно считать первым ученым-компьютерщиком и теоретиком информации по разным причинам, включая тот факт, что он задокументировал двоичную систему счисления. В 1820 году Томас де Кольмар положил начало производству механических калькуляторов [примечание 1] , когда он изобрел свой упрощенный арифмометр , первую вычислительную машину, достаточно мощную и надежную, чтобы ее можно было использовать ежедневно в офисе. Чарльз Бэббидж начал разработку первого автоматического механического калькулятора , своей «Разностной машины» , в 1822 году, что в конечном итоге дало ему идею первого программируемого механического калькулятора , его «Аналитической машины» . [20] Он начал разработку этой машины в 1834 году и «менее чем за два года набросал многие существенные особенности современного компьютера». [21] «Решающим шагом стало внедрение системы перфокарт, заимствованной из жаккардового ткацкого станка » [21], что сделало ее бесконечно программируемой. [примечание 2] В 1843 году, во время перевода французской статьи об аналитической машине, Ада Лавлейс написала в одной из многих включенных ею заметок алгоритм вычисления чисел Бернулли , который считается первым опубликованным алгоритмом в истории. специально разработанный для реализации на компьютере. [22] Примерно в 1885 году Герман Холлерит изобрел табулятор , в котором для обработки статистической информации использовались перфокарты ; со временем его компания стала частью IBM . Вслед за Бэббиджем, хотя и не знал о его более ранних работах, Перси Ладгейт в 1909 году опубликовал [23] второй из двух проектов механических аналитических двигателей в истории. В 1914 году испанский инженер Леонардо Торрес Кеведо опубликовал свои «Очерки по автоматике » [24] и, вдохновленный Бэббиджем, разработал теоретическую электромеханическую вычислительную машину, которая должна была управляться программой, доступной только для чтения. В статье также была представлена идея арифметики с плавающей запятой . [25] [26]В 1920 году, чтобы отпраздновать 100-летие изобретения арифмометра , Торрес представил в Париже электромеханический арифмометр , прототип, продемонстрировавший возможность создания электромеханической аналитической машины [27] , на которой можно было вводить команды и автоматически распечатывать результаты. [28] В 1937 году, через сто лет после несбыточной мечты Бэббиджа, Говард Эйкен убедил IBM, которая производила все виды оборудования для перфокарт, а также занималась калькуляторным бизнесом [29] , разработать свой гигантский программируемый калькулятор ASCC/Harvard Mark. I , основанный на аналитической машине Бэббиджа, которая сама использовала карты и центральный вычислительный блок. Когда машина была закончена, некоторые назвали ее «сбывшейся мечтой Бэббиджа». [30]
В 1940-х годах, с разработкой новых и более мощных вычислительных машин, таких как компьютер Атанасова-Берри и ENIAC , термин « компьютер» стал относиться к машинам, а не к их человеческим предшественникам. [31] Когда стало ясно, что компьютеры можно использовать не только для математических расчетов, область информатики расширилась и стала изучать вычисления в целом. В 1945 году IBM основала Лабораторию научных вычислений Уотсона в Колумбийском университете в Нью-Йорке . Отреставрированный дом братства в Вест-Сайде Манхэттена стал первой лабораторией IBM, посвященной чистой науке. Эта лаборатория является предшественником исследовательского подразделения IBM, которое сегодня управляет исследовательскими центрами по всему миру. [32] В конечном итоге тесные отношения между IBM и Колумбийским университетом сыграли важную роль в появлении новой научной дисциплины: в 1946 году Колумбия предложила один из первых академических курсов по информатике. [33] Информатика начала зарождаться. как отдельная академическая дисциплина в 1950-х и начале 1960-х годов. [7] [34] Первая в мире программа получения степени в области компьютерных наук, Кембриджский диплом в области компьютерных наук , началась в Компьютерной лаборатории Кембриджского университета в 1953 году. Первый факультет компьютерных наук в Соединенных Штатах был создан в Университете Пердью в 1962 году . [ 35] С тех пор, как стали доступны практические компьютеры, многие приложения вычислений стали самостоятельными областями исследования.
Хотя впервые термин «информатика» был предложен в 1956 году, [36] он появляется в статье 1959 года в журнале Communications of the ACM , [37] в которой Луи Фейн приводит доводы в пользу создания Высшей школы компьютерных наук , аналогичной созданию Гарварда . Бизнес-школа в 1921 году. [38] Луи оправдывает свое название, утверждая, что, как и наука управления , этот предмет носит прикладной и междисциплинарный характер, обладая при этом характеристиками, типичными для академической дисциплины. [37] Его усилия, а также усилия других, таких как численный аналитик Джордж Форсайт , были вознаграждены: университеты продолжали создавать такие факультеты, начиная с Purdue в 1962 году. [39] Несмотря на свое название, значительная часть компьютерных наук не включает в себя изучение самих компьютеров. По этой причине было предложено несколько альтернативных названий. [40] Некоторые кафедры крупных университетов предпочитают термин «информатика» , чтобы подчеркнуть именно эту разницу. Датский ученый Питер Наур предложил термин «датология» [ 41] , чтобы отразить тот факт, что научная дисциплина вращается вокруг данных и их обработки, но не обязательно с использованием компьютеров. Первым научным учреждением, использовавшим этот термин, был факультет даталогии Копенгагенского университета, основанный в 1969 году, а первым профессором даталогии стал Питер Наур. Этот термин используется в основном в скандинавских странах. Альтернативный термин, также предложенный Науром, — наука о данных ; теперь это используется для междисциплинарной области анализа данных, включая статистику и базы данных.
На заре компьютерных технологий в Сообщениях ACM был предложен ряд терминов для практиков в области вычислений: инженер - турингист , туролог , специалист по блок-схемам , прикладной метаматематик и прикладной эпистемолог . [42] Три месяца спустя в том же журнале был предложен комптолог , а в следующем году — гиполог . [43] Также был предложен термин «компьютерные технологии» . [44] В Европе часто используются термины, производные от сокращенных переводов выражений «автоматическая информация» (например, «informazioneautoma» на итальянском языке) или «информация и математика», например, информатика (французский), Informatik (немецкий), информатика (итальянский, голландский). ), информатика (испанский, португальский), информатика ( славянские языки и венгерский ) или плирофорики ( πληροφορική , что означает информатика) на греческом языке . Подобные слова были приняты и в Великобритании (например, в Школе информатики Эдинбургского университета ). [45] «Однако в США информатика связана с прикладными вычислениями или вычислениями в контексте другой области». [46]
Фольклорная цитата, часто приписываемая Эдсгеру Дейкстре (но почти наверняка не впервые сформулированная им ), гласит, что «информатика связана с компьютерами не больше, чем астрономия с телескопами». [примечание 3] Проектирование и внедрение компьютеров и компьютерных систем обычно считается областью дисциплин, отличных от информатики. Например, изучение компьютерного оборудования обычно считается частью компьютерной инженерии , а изучение коммерческих компьютерных систем и их развертывания часто называют информационными технологиями или информационными системами . Однако между представителями различных компьютерных дисциплин происходит обмен идеями. Исследования в области информатики также часто пересекаются с другими дисциплинами, такими как когнитивная наука , лингвистика , математика , физика , биология , науки о Земле , статистика , философия и логика .
Некоторые считают, что информатика имеет гораздо более тесную связь с математикой, чем многие научные дисциплины, при этом некоторые наблюдатели говорят, что информатика - это математическая наука. [7] Ранняя информатика находилась под сильным влиянием работ таких математиков, как Курт Гёдель , Алан Тьюринг , Джон фон Нейман , Рожа Петер и Алонсо Чёрч , и между этими двумя областями продолжает происходить полезный обмен идеями в таких областях, как математическая логика , теория категорий , теория предметной области и алгебра . [36]
Отношения между информатикой и разработкой программного обеспечения являются спорным вопросом, который еще больше запутывается спорами о том, что означает термин «инженерия программного обеспечения» и как определяется информатика. [47] Дэвид Парнас , опираясь на взаимосвязь между другими инженерными и научными дисциплинами, утверждал, что основным направлением информатики является изучение свойств вычислений в целом, в то время как основным направлением разработки программного обеспечения является разработка конкретных вычислений. для достижения практических целей, создавая две отдельные, но взаимодополняющие дисциплины. [48]
Академические, политические и финансовые аспекты информатики, как правило, зависят от того, сформирован ли факультет с математическим упором или с инженерным уклоном. Факультеты информатики с упором на математику и числовой ориентацией рассматривают возможность согласования с вычислительной наукой . Оба типа кафедр, как правило, прилагают усилия к тому, чтобы соединить образовательные, если не все, исследования.
Несмотря на слово «наука» в названии, ведутся споры о том, является ли информатика научной дисциплиной, [49] математикой, [50] или инженерией. [51] Аллен Ньюэлл и Герберт А. Саймон утверждали в 1975 году:
Информатика — это эмпирическая дисциплина. Мы бы назвали ее экспериментальной наукой, но, как и в астрономии, экономике и геологии, некоторые из ее уникальных форм наблюдения и опыта не вписываются в узкий стереотип экспериментального метода. Тем не менее, это эксперименты. Каждая новая машина – это эксперимент. На самом деле построение машины ставит вопрос перед природой; и мы прислушиваемся к ответу, наблюдая за работой машины и анализируя ее всеми доступными аналитическими и измерительными средствами. [51]
С тех пор утверждалось, что информатику можно классифицировать как эмпирическую науку, поскольку она использует эмпирическое тестирование для оценки правильности программ , но остается проблема с определением законов и теорем информатики (если таковые существуют) и определением характер экспериментов в информатике. [51] Сторонники классификации информатики как инженерной дисциплины утверждают, что надежность вычислительных систем исследуется так же, как мосты в гражданском строительстве и самолеты в аэрокосмической технике . [51] Они также утверждают, что в то время как эмпирические науки наблюдают за тем, что существует в настоящее время, информатика наблюдает за тем, что возможно существовать, и хотя ученые открывают законы на основе наблюдения, в информатике не найдено никаких правильных законов, и вместо этого она занимается созданием явлений. [51]
Сторонники классификации информатики как математической дисциплины утверждают, что компьютерные программы являются физической реализацией математических объектов и программы могут быть дедуктивно обоснованы с помощью математических формальных методов . [51] Ученые-компьютерщики Эдсгер В. Дейкстра и Тони Хоар рассматривают инструкции для компьютерных программ как математические предложения и интерпретируют формальную семантику языков программирования как математические аксиоматические системы . [51]
Ряд ученых-компьютерщиков выступали за различие трех отдельных парадигм в информатике. Питер Вегнер утверждал, что этими парадигмами являются наука, технология и математика. [52] Рабочая группа Питера Деннинга утверждала, что это теория, абстракция (моделирование) и дизайн. [7] Амнон Х. Иден описал их как «рационалистическую парадигму» (которая рассматривает информатику как раздел математики, который преобладает в теоретической информатике и в основном использует дедуктивные рассуждения ), «технократическую парадигму» (которая может быть встречается в инженерных подходах, особенно в разработке программного обеспечения), и «научная парадигма» (которая подходит к связанным с компьютером артефактам с эмпирической точки зрения естественных наук , [ 53] идентифицируемых в некоторых областях искусственного интеллекта ). [54] Информатика фокусируется на методах проектирования, спецификации, программирования, проверки, внедрения и тестирования компьютерных систем, созданных человеком. [55]
Как дисциплина информатика охватывает широкий спектр тем: от теоретических исследований алгоритмов и пределов вычислений до практических вопросов реализации вычислительных систем в аппаратном и программном обеспечении. [56] [57] CSAB , ранее называвшийся Советом по аккредитации компьютерных наук, который состоит из представителей Ассоциации вычислительной техники (ACM) и Компьютерного общества IEEE (IEEE CS) [58] — определяет четыре области, которые он рассматривает. имеет решающее значение для дисциплины информатики: теория вычислений , алгоритмы и структуры данных , методология и языки программирования , а также компьютерные элементы и архитектура . В дополнение к этим четырем областям CSAB также определяет такие области, как разработка программного обеспечения, искусственный интеллект, компьютерные сети и связь, системы баз данных, параллельные вычисления, распределенные вычисления, взаимодействие человека и компьютера, компьютерная графика, операционные системы, а также числовые и символьные вычисления . являются важными областями информатики. [56]
Теоретическая информатика является математической и абстрактной по духу, но ее мотивация черпается из практических и повседневных вычислений. Его цель — понять природу вычислений и, как следствие этого понимания, предоставить более эффективные методологии.
По мнению Питера Деннинга , фундаментальный вопрос, лежащий в основе информатики, звучит так: «Что можно автоматизировать?» [3] Теория вычислений сосредоточена на ответах на фундаментальные вопросы о том, что можно вычислить и какое количество ресурсов требуется для выполнения этих вычислений. Пытаясь ответить на первый вопрос, теория вычислимости исследует, какие вычислительные задачи можно решить с помощью различных теоретических моделей вычислений . Второй вопрос решает теория сложности вычислений , которая изучает временные и пространственные затраты, связанные с различными подходами к решению множества вычислительных задач.
Знаменитый P = NP? Проблема, одна из задач Премии тысячелетия , [59] является открытой проблемой теории вычислений.
Теория информации, тесно связанная с вероятностью и статистикой , связана с количественной оценкой информации. Он был разработан Клодом Шенноном , чтобы найти фундаментальные ограничения на операции обработки сигналов , такие как сжатие данных, а также на надежное хранение и передачу данных. [60] Теория кодирования — это изучение свойств кодов (систем преобразования информации из одной формы в другую) и их пригодности для конкретного применения. Коды используются для сжатия данных , криптографии , обнаружения и исправления ошибок , а в последнее время также для сетевого кодирования . Коды изучаются с целью разработки эффективных и надежных методов передачи данных . [61]
Структуры данных и алгоритмы — это исследования широко используемых вычислительных методов и их вычислительной эффективности.
Теория языков программирования — это раздел информатики, который занимается проектированием, реализацией, анализом, характеристикой и классификацией языков программирования и их индивидуальных особенностей . Он относится к дисциплине информатики и зависит как от математики , разработки программного обеспечения, так и от лингвистики . Это активная исследовательская область, в которой издается множество специализированных академических журналов.
Формальные методы — это особый вид математически обоснованного метода спецификации , разработки и проверки программных и аппаратных систем. [62] Использование формальных методов проектирования программного и аппаратного обеспечения мотивировано ожиданием того, что, как и в других инженерных дисциплинах, выполнение соответствующего математического анализа может способствовать надежности и устойчивости конструкции. Они образуют важную теоретическую основу для разработки программного обеспечения, особенно там, где речь идет о безопасности. Формальные методы являются полезным дополнением к тестированию программного обеспечения, поскольку они помогают избежать ошибок, а также могут служить основой для тестирования. Для промышленного использования требуется поддержка инструмента. Однако высокая стоимость использования формальных методов означает, что они обычно используются только при разработке высокоинтегральных и жизненно важных систем , где безопасность имеет первостепенное значение. Формальные методы лучше всего описать как применение довольно широкого спектра теоретических основ информатики , в частности логических исчислений, формальных языков , теории автоматов и семантики программ , а также систем типов и алгебраических типов данных для решения проблем спецификации программного и аппаратного обеспечения и проверка.
Компьютерная графика — это исследование цифрового визуального контента, которое включает в себя синтез и манипулирование данными изображения. Исследование связано со многими другими областями информатики, включая компьютерное зрение , обработку изображений и вычислительную геометрию , и широко применяется в области спецэффектов и видеоигр .
Информация может принимать форму изображений, звука, видео или других мультимедиа. Биты информации могут передаваться посредством сигналов . Ее обработка — центральное понятие информатики , европейский взгляд на вычисления , изучающий алгоритмы обработки информации независимо от типа носителя информации — электрического, механического или биологического. Эта область играет важную роль в теории информации , телекоммуникациях , информационной инженерии и находит применение, среди прочего, в медицинских вычислениях изображений и синтезе речи . Какова нижняя граница сложности алгоритмов быстрого преобразования Фурье ? является одной из нерешенных проблем теоретической информатики .
Научные вычисления (или вычислительная наука ) — это область исследования, связанная с построением математических моделей и методов количественного анализа , а также с использованием компьютеров для анализа и решения научных проблем. Основным использованием научных вычислений является моделирование различных процессов, включая вычислительную гидродинамику , физические, электрические и электронные системы и схемы, а также общества и социальные ситуации (особенно военные игры), а также их среду обитания, среди многих других. Современные компьютеры позволяют оптимизировать такие конструкции, как целые самолеты. В проектировании электрических и электронных схем особое место занимают программы SPICE [63] , а также программное обеспечение для физической реализации новых (или модифицированных) конструкций. Последний включает в себя необходимое программное обеспечение для проектирования интегральных схем . [64]
Социальные вычисления — это область, которая занимается пересечением социального поведения и вычислительных систем. Исследования взаимодействия человека и компьютера разрабатывают теории, принципы и рекомендации для дизайнеров пользовательского интерфейса.
Программная инженерия — это изучение проектирования, внедрения и модификации программного обеспечения с целью обеспечения его высокого качества, доступности, удобства обслуживания и быстрого создания. Это системный подход к разработке программного обеспечения, включающий применение инженерных практик к программному обеспечению. Программная инженерия занимается организацией и анализом программного обеспечения — она занимается не только созданием или производством нового программного обеспечения, но и его внутренней организацией и обслуживанием. Например , тестирование программного обеспечения , системное проектирование , технический долг и процессы разработки программного обеспечения .
Искусственный интеллект (ИИ) направлен или необходим для синтеза целенаправленных процессов, таких как решение проблем, принятие решений, адаптация к окружающей среде, обучение и общение, присущие людям и животным. С момента своего зарождения в кибернетике и на Дартмутской конференции (1956 г.) исследования искусственного интеллекта обязательно носили междисциплинарный характер, опираясь на такие области знаний, как прикладная математика , символическая логика , семиотика , электротехника , философия разума , нейрофизиология и социальные исследования . интеллект . В массовом сознании ИИ ассоциируется с разработкой роботов , но основной областью практического применения является встраиваемый компонент в областях разработки программного обеспечения , которые требуют вычислительного понимания. Отправной точкой в конце 1940-х годов стал вопрос Алана Тьюринга « Могут ли компьютеры думать? », и этот вопрос фактически остается без ответа, хотя тест Тьюринга до сих пор используется для оценки производительности компьютеров в масштабах человеческого интеллекта. Но автоматизация оценочных и прогнозных задач становится все более успешной в качестве замены человеческого мониторинга и вмешательства в области компьютерных приложений, включающих сложные данные реального мира.
Компьютерная архитектура, или организация цифрового компьютера, — это концептуальный проект и фундаментальная операционная структура компьютерной системы. Основное внимание уделяется тому, как центральный процессор работает внутри и обращается к адресам в памяти. [65] Компьютерные инженеры изучают вычислительную логику и проектирование компьютерного оборудования , от отдельных компонентов процессора , микроконтроллеров , персональных компьютеров до суперкомпьютеров и встроенных систем . Термин «архитектура» в компьютерной литературе восходит к работе Лайла Р. Джонсона и Фредерика П. Брукса-младшего , членов отдела машинной организации главного исследовательского центра IBM в 1959 году.
Параллелизм — это свойство систем, в которых несколько вычислений выполняются одновременно и потенциально взаимодействуют друг с другом. [66] Для общих параллельных вычислений был разработан ряд математических моделей, включая сети Петри , исчисление процессов и модель параллельной машины произвольного доступа . [67] Когда несколько компьютеров подключены к сети при одновременном использовании, это называется распределенной системой. Компьютеры в этой распределенной системе имеют собственную память, и можно обмениваться информацией для достижения общих целей. [68]
Эта отрасль информатики направлена на управление сетями между компьютерами по всему миру.
Компьютерная безопасность — это отрасль компьютерных технологий, целью которой является защита информации от несанкционированного доступа, нарушения или изменения при сохранении доступности и удобства использования системы для ее предполагаемых пользователей.
Историческая криптография – это искусство написания и расшифровки секретных сообщений. Современная криптография — это научное исследование проблем, связанных с распределенными вычислениями, которые могут быть атакованы. [69] Технологии, изучаемые в современной криптографии, включают симметричное и асимметричное шифрование , цифровые подписи , криптографические хеш-функции , протоколы согласования ключей , блокчейн , доказательства с нулевым разглашением и искаженные схемы .
База данных предназначена для простой организации, хранения и извлечения больших объемов данных. Цифровые базы данных управляются с помощью систем управления базами данных для хранения, создания, обслуживания и поиска данных с помощью моделей баз данных и языков запросов . Интеллектуальный анализ данных — это процесс обнаружения закономерностей в больших наборах данных.
Философ вычислительной техники Билл Рапапорт отметил три великих открытия в области компьютерных наук : [70]
Языки программирования могут использоваться для решения разных задач разными способами. Общие парадигмы программирования включают:
Многие языки поддерживают несколько парадигм, поэтому различие больше зависит от стиля, чем от технических возможностей. [76]
Конференции являются важными мероприятиями для исследований в области компьютерных наук. Во время этих конференций исследователи из государственного и частного секторов представляют свои последние работы и встречаются. В отличие от большинства других академических областей, в информатике престиж статей на конференциях выше, чем журнальных публикаций. [77] [78] Одно из предложенных объяснений этого заключается в том, что быстрое развитие этой относительно новой области требует быстрого обзора и распространения результатов, и с этой задачей лучше справляются конференции, чем журналы. [79]
Информатика , известная под своими близкими синонимами «Вычисление» , «Компьютерные исследования» , преподается в школах Великобритании со времен пакетной обработки , маркировки чувствительных карточек и бумажной ленты , но обычно для немногих избранных учеников. [80] В 1981 году BBC создала микрокомпьютер и классную сеть , и компьютерные исследования стали обычным явлением для студентов уровня GCE O (11–16 лет), а компьютерные науки - для студентов уровня A. Его важность была признана, и он стал обязательной частью национальной учебной программы для ключевых этапов 3 и 4. В сентябре 2014 года он стал обязательным для всех учеников старше 4 лет. [81]
В США , где 14 000 школьных округов определяют учебную программу, обеспечение было разрозненным. [82] Согласно отчету Ассоциации вычислительной техники (ACM) и Ассоциации учителей информатики (CSTA) за 2010 год, только 14 из 50 штатов приняли существенные образовательные стандарты по информатике в средней школе. [83] Согласно отчету за 2021 год, только 51% средних школ в США предлагают информатику. [84]
Израиль, Новая Зеландия и Южная Корея включили информатику в свои национальные учебные программы среднего образования, [85] [86] и некоторые другие страны следуют этому примеру. [87]
Дисциплина информатики — это систематическое изучение алгоритмических процессов, которые описывают и преобразуют информацию, их теории, анализа, проектирования, эффективности, реализации и применения. Фундаментальный вопрос, лежащий в основе всех вычислений: «Что можно (эффективно) автоматизировать?»
Вопрос «Что можно автоматизировать?» – один из самых вдохновляющих философских и практических вопросов современной цивилизации.