Главная
Поиск репетитора
Коллективный блог
публикаций
Форум (обсуждаем ЕГЭ 2020)
тем и сообщений
Для учебы
Ответы на экзамены
Топики по английскому языку
Топики по немецкому языку
Рефераты по литературе
Психологическая подготовка
Рефераты по история
Доклады по знаменитым личностям
Биографии писателей и поэтов
Орфографии и пунктуации
Экзамен по рус. языку и литературе

Последние обсуждаемые темы на форуме:


Посещаемые разделы:
ЕГЭ 2020, ВУЗы России



Последние публикации в коллективном блоге:








Cписок вопросов / Информатика - 11 класс
Формализация. Привести пример формализации (например, преобразования описательной модели в математическую).

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




© 2006-2019 Поступим.ру Информация:
О проекте
Контакты

Регистрация на сайте
Статистика сообщества
Пользовательское соглашение
Разделы:
Поиск репетитора
Форум сообщества
Коллективный блог
Материалы для учебы
ЕГЭ 2020
RSS:
RSS форума
RSS блога

Шпаргалки на экзамены
Сочинения по литературе

Актуальная информация вулкан делюкс тут.