Информация и теория кодирования

Теория информации связана с количественной оценкой информации. Это направление получило развитие благодаря трудам Клода Э. Шеннона, который нашёл фундаментальные ограничения на обработку сигнала^[en] в таких операциях, как сжатие данных, надёжное сохранение и передача данных^[50]. Теория кодирования изучает свойства кодов (системы для преобразования информации из одной формы в другую) и их пригодность для конкретной задачи. Коды используются для сжатия данных, в криптографии, для обнаружения и коррекции ошибок, а в последнее время также и для сетевого кодирования. Коды изучаются с целью разработки эффективных и надежных методов передачи данных.

Алгоритмы и структуры данных

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

Анализ алгоритмов	Алгоритмы	Структуры данных	Комбинаторная оптимизация	Вычислительная геометрия

Теория языков программирования

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

Теория типов	Проектирование компилятора[en]	Язык программирования

Формальные методы

Формальные методы — это своего рода математический подход, предназначенный для спецификации, разработки и верификации программных и аппаратных систем. Использование формальных методов при разработке программного и аппаратного обеспечения мотивировано расчётом на то, что, как и в других инженерных дисциплинах, надлежащий математический анализ обеспечит надёжность и устойчивость проекта. Формальные методы являются важной теоретической основой при разработке программного обеспечения, особенно в случаях, когда дело касается надёжности или безопасности. Формальные методы являются полезным дополнением к тестированию программного обеспечения, так как они помогают избежать ошибок, а также являются основой для тестирования. Для их широкого использования требуется разработка специального инструментария. Однако высокая стоимость использования формальных методов указывает на то, что они, как правило, используются только при разработке высокоинтегрированных и жизненно-важных систем^[en], где надёжность и безопасность имеют первостепенное значение. Формальные методы имеют довольно широкое применение: от теоретических основ информатики (в частности, логики вычислений, формальных языков, теории автоматов, программ и семантики) до систем типов и проблем алгебраических типов данных в задачах спецификации и верификации программного и аппаратного обеспечения.

Прикладная информатика

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

Помимо этого, прикладная информатика объединяет конкретные примеры применения информатики в тех или иных областях жизни, науки или производства, например, в бизнес-информатике, геоинформатике, компьютерной лингвистике, биоинформатике, хемоинформатике и т. д.^{[уточнить]}

Одной из центральных тем прикладной информатики является инженерия программного обеспечения (англ. Software Engineering). Речь идёт о систематическом процессе разработок от этапа формирования идеи до создания готового программного обеспечения. Прикладная информатика также связаны с созданием необходимого инструментария для разработки программного обеспечения, например, разработка компиляторов.

Искусственный интеллект

Это область информатики, неразрывно связанная с такими целеполагающими процессами, как решение задач, принятие решений, адаптация к окружающим условиям, обучение и коммуникация, присущими и людям, и животным. Возникновение искусственного интеллекта (ИИ) связано с кибернетикой и ведёт свой отсчёт с Дартмутской Конференции (1956). Исследования в области искусственного интеллекта (AI) с необходимостью были междисциплинарными, и основывались на таких науках, как: прикладная математика, математическая логика, семиотика, электротехника, философия сознания, нейрофизиология и социальный интеллект^[en]. У обывателей искусственный интеллект ассоциируется в первую очередь с робототехникой, но кроме этого ИИ является неотъемлемой частью разработки программного обеспечения в самых разных областях. Отправной точкой в конце 1940-х годов стал вопрос Алана Тьюринга: «Могут ли компьютеры думать? », и этот вопрос остаётся фактически без ответа, хотя «тест Тьюринга» до сих пор используется для оценки результатов работы компьютера в масштабах человеческого интеллекта.

⇐ Предыдущая123456Следующая ⇒

Поделиться:

Популярное:

1. MODULE 1 - Теория и практика
2. А. ТЕОРИЯ ЗАЩИТНЫХ МЕХАНИЗМОВ
3. Аналитическая теория личности
4. Аналоговый и дискретный способ кодирования
5. Б. Теория внутреннего насилия.
6. Б3.Б.1«Теория государства и права»
7. Билет1 Теория обучения как раздел педагогики
8. Бихевиористская теория депрессии.
9. Более подробно о теоретических основаниях курса сказано в разделе «Теория и методика изучения разделов науки о языке и развития речи».
10. В 13 веке развивается теория мистического экстаза.
11. Введение в курс Теория телетрафика
12. ВЕРБОЦЕНТРИЧЕСКАЯ ТЕОРИЯ СИНТАКСИЧЕСКОЙ СТРУКТУРЫ ВЫСКАЗЫВАНИЯ