- •1. Информатика.Структура предметной области. Объекты изучения информатики.
- •2. Основные области исследований информатики.
- •5. Формулировка предметной задачи. Задачная ситуация.
- •6. Формализация предметной задачи. Уровни формализации задач.
- •7. Общая схема постановки и решения предметных задач.
- •1) Цель
- •8. Понятие о модели.
- •9. Представление о системном подходе.
- •10. Схема коммуникаций.
- •11. Типы моделей.
- •12. Что такое информация.
- •Информация и язык
- •Информация и данные
- •13. Формы адекватности информации.
- •14. Классификация мер.
- •15. Синтаксические меры информации.
- •16. Семантические меры информации.
- •17. Прагматические меры информациию
- •18. Показатели качества информации.
- •19. Системы классификации информации, основные идеи.
- •20. Система кодирования информации, классификация методов.
- •Классификация информации по разным признакам
- •21. Информационное общество. Информационные революции.
- •23. Информатизация общества.
- •24. Классификация языков программирования. Процедурное программирование
- •Функциональное программирование
- •Логическое программирование
- •Объектно-ориентированное программирование
- •25. Компьютеры. Поколения эвм.
- •1 Поколение, после 1946 года
- •2 Поколение, после 1955 года
- •3 Поколение, после 1964 года
- •4 Поколение, после 1975 года
- •5 Поколение, после 1982 года
- •26. Компьютеры. Программное обеспечение.
- •27. Техническое обеспечение.
- •28. Интеллектуальное обеспечение.
- •29. Ис. Этапы развития ис.
- •32. Структура ис.
- •38. Классификация ис по сфере применения.
- •39. Классификация ис по функциональному признаку и уровням управления.
- •40. Классификация ис по степени автоматизации.
- •41. Классификация ис по характеру использования информации.
- •42. Ит. Виды ит.
- •Виды информационных технологий:
- •43. Основные св-ва ит, опред. Их роль в технолог развитии современного об-ва.
- •44. Ит. Критерий эффективности ит.
- •45. Классификация ит по типу обрабатываемой информации.
- •46. Ит обработки данных. Классы задач. Основные компоненты.
- •47. Цель ит управления (иту). Классы задач, решаемые в рамках иту.
- •48. Характеристики и назначение ит автоматизации офиса. Основные компоненты.
- •49. Ит поддержки решений. Основная цель итппр и т. Д.
- •50. Современное состояние и основные тенденции развития ит.
- •51. Основные разделы искусственного интеллекта.
- •52.Основные направления развития искусственного интеллекта.
- •53. Данные и знания.
- •54. Модели представления знаний в современных интеллектуальных системах.
- •55. Основные компоненты экспертной системы, специалисты-разработчики.
- •56. Централизованная и распределенная обработка данных.
- •57. Типы многомашинных ассоциаций для распределенной обработки данных.
- •58. Основные программные и аппаратные компоненты сети.
- •59. Функциональные группы устройств в сети.
- •60. Основные характеристики коммуникационной сети.
- •61. Классификация вычислительных сетей.
- •62. Локальные вычислительные сети.
- •63. Глобальная сеть internet. Способы передачи информации в internet.
- •64. Архитектура пк.
- •65. Информационные продукты и услуги. Информационный бизнес. Информационные продукты и услуги
- •66. Электронный бизнес. Основные модели электронного бизнеса.
- •Основные модели интернет бизнеса
- •67. Представления о защите информации и информационной безопасности.
- •68. Элементы системы защиты информации.
Функциональное программирование
Применение ЭВМ для решения задач искусственного интеллекта и обработки текстов привело к созданию функциональных языков. Эти языки имеют хорошо проработанное математическое основание - -исчисление. Функция в математике - отображение объектов из множества величин (области определения функции или домена) в объекты другого множества (область значений функции). Переменные в функциональной программе рассматриваются как переменные в математике: если они существуют, то имеют какую-то величину, и эта величина не может измениться. Функциональная программа описывает, что должно быть вычислено, то есть является просто выражением, определенным в терминах заранее заданных функций и функций, определенных пользователем. Величина этого выражения является результатом программы. Таким образом, здесь отсутствует состояние программы и предыстория вычислений. Первым языком функционального программирования является созданный в начале 1960-х годов язык ЛИСП (LISP - LISt Processing). В отличие от процедурных языков, в которых действия в основном выражаются в виде итерации - повтора какого-либо фрагмента программы несколько раз, в ЛИСП вычисления производятся с помощью рекурсии - вызова функцией самой себя, а основная структура данных - это список.
Логическое программирование
Математическая логика использует отточенный формальный язык для представления знаний об объектах той или иной предметной области, включая явные средства выражения гипотез и суждений. Подобные качества роднят логику и искусство программирования. Идея непосредственного применения логики в качестве средства программирования возникла практически одновременно с первыми процедурными языками. Главная особенность такого подхода состоит в том, что программа (логическая) состоит из набора утверждений (аксиом), а вычисление, выполняемое под управлением такой программы, представляет собой логический вывод некоторого целевого утверждения - искомого результата. Вывод производится из аксиом программы по правилам математической логики, причем эти правила применяются автоматически, программист не должен их специально указывать.
Привлекательность применения логики в программировании состоит прежде всего в том, что в результате постепенного уточнения формулировки задачи она приобретает все более ясную форму, понятную как создателю программы, так и ее возможным читателям (потребителям). Особенно хорошо язык логики подходит для формулирования задач искусственного интеллекта. Все это объясняется тем, что язык логики опирается на общие законы человеческого мышления, а не на технические особенности кодирования для вычислительной машины того или иного типа.
Серьезные практические результаты в области логического программирования появились только в 70-е годы после того, как была подготовлена достаточная теоретическая база и достигнут значительный прогресс в развитии вычислительной техники. К этому времени после целой череды экспериментальных языков группой Алана Колмероэ в Марселе была создана (еще неэффективная) реализация языка, заменившего последовательные вычисления машины фон Неймана на логический вывод. Новый язык, названный Прологом (Программирование логическое), предназначался для анализа текстов, написанных на естественном языке, т.е. для решения задач, обычно относимых к области искусственного интеллекта. Приблизительно в те же годы были разработаны и теоретические основы нового направления в программировании. Основные результаты в этой области принадлежат Алану Робинсону и Роберту Ковальскому. Первая реализация Пролога, выполненная кстати на Фортране, заинтересовала специалистов, но не получила широкого распространения по причине низкой эффективности. Мешал распространению Пролога и накопившийся к этому времени у специалистов (в основном американских) общий скепсис по отношению к идее логического программирования, поскольку все реализации предшественников Пролога были также неэффективны.
Настоящая революция в этой области произошла в конце 70-х, когда Дэвид Уоррен из Эдинбургского университета создал первый компилятор для языка Пролог. Этот компилятор работал настолько эффективно, что скепсис специалистов немедленно сменился всеобщим энтузиазмом. С тех пор и до настоящего времени направление логического программирования успешно развивается и поддерживается как профессионалами, так и просто любителями программирования.