kopilkaurokov.ru - сайт для учителей

Создайте Ваш сайт учителя Курсы ПК и ППК Видеоуроки Олимпиады Вебинары для учителей

Формализация и её исследование

Нажмите, чтобы узнать подробности

Формализация

Преобразование описательной модели в математическую.

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

Вы уже знаете о суперспособностях современного учителя?
Тратить минимум сил на подготовку и проведение уроков.
Быстро и объективно проверять знания учащихся.
Сделать изучение нового материала максимально понятным.
Избавить себя от подбора заданий и их проверки после уроков.
Наладить дисциплину на своих уроках.
Получить возможность работать творчески.

Просмотр содержимого документа
«Формализация и её исследование»

Формализация

Преобразование описательной модели в математическую.

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

Под формализацией в широком смысле слова понимается метод изу­чения самых разнообразных объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусст­венных» языков, к числу которых относится, например, язык математики, математической логики, химии, радиотехники и ряда других наук. Иссле­дование специальной символики в этих науках является одним из необхо­димых и все более прогрессирующих методов отражения действительности.

С элементами формализации мы встречаемся уже в школе, когда при решении определенной задачи отвлекаемся от конкретного содержания неизвестного и рассматриваем его просто как некий «X» в уравнении. Даже этого достаточно, чтобы почувствовать силу формального подхода.

Достоинства этого метода заключаются в следующем:

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

- метод формализации базируется на использовании специальной сим­волики, введение которой обеспечивает краткость и четкость фиксации знания (изящность математических и физических теорий, их компактность);

Если форма­лизация осуществлена правильно, если в знаковой модели объекта отраже­но самое существенное, то изучение этой модели может дать ценную ин­формацию об объекте и даже привести к выдающимся открытиям.

Завершая разговор о методе формализации, необходимо подчеркнуть, что он теснейшим образом связан со многими другими методами: модели­рованием, абстрагированием, идеализацией и т.д.

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













Преобразование описательной модели в математическую.

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


Получите в подарок сайт учителя

Предмет: Информатика

Категория: Прочее

Целевая аудитория: 9 класс

Скачать
Формализация и её исследование

Автор: Гоголева Анна Алеексеевна

Дата: 29.04.2021

Номер свидетельства: 579572

Похожие файлы

object(ArrayObject)#851 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(77) "Моделирование,формализация,визуализация "
    ["seo_title"] => string(45) "modielirovaniie-formalizatsiia-vizualizatsiia"
    ["file_id"] => string(6) "101006"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1402402990"
  }
}
object(ArrayObject)#873 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(56) "Формализация и моделирование. "
    ["seo_title"] => string(32) "formalizatsiia-i-modielirovaniie"
    ["file_id"] => string(6) "189674"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(5) "uroki"
    ["date"] => string(10) "1427008253"
  }
}
object(ArrayObject)#851 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(98) "Моделирование и формализация информационных моделей"
    ["seo_title"] => string(59) "modielirovaniie-i-formalizatsiia-informatsionnykh-modieliei"
    ["file_id"] => string(6) "250085"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1447012638"
  }
}
object(ArrayObject)#873 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(183) "презентация по теме: "Моделирование как метод познания. Формы представления моделей. Формализация." "
    ["seo_title"] => string(110) "priezientatsiia-po-tiemie-modielirovaniie-kak-mietod-poznaniia-formy-priedstavlieniia-modieliei-formalizatsiia"
    ["file_id"] => string(6) "154744"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1421206156"
  }
}
object(ArrayObject)#851 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(123) "Моделирование, формализация, визуализация.  Презентация ИКТ 9 класс"
    ["seo_title"] => string(73) "modielirovaniie-formalizatsiia-vizualizatsiia-priezientatsiia-ikt-9-klass"
    ["file_id"] => string(6) "297721"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1456229982"
  }
}

Получите в подарок сайт учителя

Видеоуроки для учителей

Курсы для учителей

ПОЛУЧИТЕ СВИДЕТЕЛЬСТВО МГНОВЕННО

Добавить свою работу

* Свидетельство о публикации выдается БЕСПЛАТНО, СРАЗУ же после добавления Вами Вашей работы на сайт

Удобный поиск материалов для учителей

Ваш личный кабинет
Проверка свидетельства