Презентация Описательные и формально логические информационные модели

• 1 слайд

  Описательные
  и формально логические
  информационные модели
  Учитель информатики Кузнецова Л. Л.
  МОУ СОШ № 10
  

• 2 слайд

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

• 3 слайд

  Естественные языки используются для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели; например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
  Земля вращается вокруг своей оси и вокруг Солнца;
  Орбиты всех планет проходят вокруг Солнца.
  С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Одним из наиболее широко используемых формальных языков является математика.
  Формализация
  Модели, построенные с использованием математических понятий и формул, называются математическими моделями.
  

• 4 слайд

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

• 5 слайд

  Язык алгебры логики (алгебры высказываний) позволяет строить формальные логические модели. С помощью алгебры высказываний можно формализовать (записать в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Построение логических моделей позволяет решать логические задачи, строить логические модели устройств компьютера (сумматора, триггера) и так далее.
  В процессе познания окружающего мира человечество постоянно использует моделирование и формализацию. При изучении нового объекта сначала обычно строится его описательная информационная модель на естественном языке, затем она формализуется, то есть выражается с использованием формальных языков (математики, логики и др.)
  Процесс построения информационных моделей с помощью формальных языков называется формализацией.
  

• 6 слайд

  Что такое формализация?
  Приведите примеры формальных моделей
  Контрольный вопрос.
  
  

Краткое описание документа:

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

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

•Земля вращается вокруг своей оси и вокруг Солнца;

•Орбиты всех планет проходят вокруг Солнца.