Суббота, 20.07.2024, 00:37
Ш  К  О  Л  А     П  И  Ф  А  Г  О  Р  А
      Предмет математики настолько серьезен, что нужно
не упускать случая, сделать его немного занимательным".
                                                                              Блез Паскаль
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
ПАМЯТКИ ПО МАТЕМАТИКЕ   ВЕЛИКИЕ МАТЕМАТИКИ   ТЕОРИЯ ЧИСЕЛ   МАТЕМАТИЧЕСКАЯ ЛОГИКА
УРОКИ МАТЕМАТИКИ В ШКОЛЕ
МАТЕМАТИЧЕСКАЯ КЛАДОВАЯ
В МИРЕ ЗАДАЧ
ЕГЭ ПО МАТЕМАТИКЕ
МАТЕМАТИКА В НАЧАЛЬНОЙ ШКОЛЕ
ВАРИ, КОТЕЛОК!
УДИВИТЕЛЬНАЯ МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
В МИРЕ ИНТЕРЕСНОГО
Категории раздела
КАРТОЧКИ ПО АЛГЕБРЕ [23]
КАРТОЧКИ ПО ГЕОМЕТРИИ [17]
МАТЕМАТИКА В НАЧАЛЬНОЙ ШКОЛЕ [84]
МАТЕМАТИКА В 4 КЛАССЕ [19]
МАТЕМАТИКА В 5 КЛАССЕ [114]
ВЕЛИКИЕ МАТЕМАТИКИ [79]
МАТЕМАТИЧЕСКАЯ ВСЕЛЕННАЯ [50]
МАТЕМАТИЧЕСКИЕ СКАЗКИ В КАРТИНКАХ [8]
КАРТОЧКИ ПО МАТЕМАТИКЕ [4]
ЗАНИМАТЕЛЬНАЯ МАТЕМАТИКА [188]
МАТЕМАТИЧЕСКИЕ ГОЛОВОЛОМКИ [265]
ДЕНЬГИ [23]
ЛИЧНОСТЬ В НАУКЕ [87]
БЕЙСИК ДЛЯ МЛАДШИХ ШКОЛЬНИКОВ [40]
ИНФОРМАТИКА В НАЧАЛЬНОЙ ШКОЛЕ [82]
ПАМЯТКИ ПО МАТЕМАТИКЕ [193]
ЗАБАВНЫЕ ЗАДАЧИ ЯКОВА ПЕРЕЛЬМАНА [20]
ВИКТОРИНЫ ПО ИНФОРМАТИКЕ [6]
БАЗЫ ДАННЫХ [74]
САМОУЧИТЕЛЬ "СЛЕПОЙ" ПЕЧАТИ НА КОМПЬЮТЕРЕ [20]
РАБОТАЕМ В Microsoft Office [18]
АППАРАТНЫЕ СРЕДСТВА ПЕРСОНАЛЬНОГО КОМПЬЮТЕРА [44]
ОСНОВЫ ИНФОРМАТИКИ ДЛЯ ШКОЛЬНИКОВ И СТУДЕНТОВ [77]
СОВЕТЫ ПО ОБУСТРОЙСТВУ КОМПЬЮТЕРА [72]
МАТЕМАТИКА В 6 КЛАССЕ [148]
МАТЕМАТИКА В 7 КЛАССЕ [85]
МАТЕМАТИКА В 8 КЛАССЕ [36]
МАТЕМАТИКА В 9 КЛАССЕ [153]
ЖИВОЙ УЧЕБНИК ГЕОМЕТРИИ [92]
УДИВИТЕЛЬНАЯ МАТЕМАТИКА [33]
ВЕЛИКАЯ ТЕОРЕМА ФЕРМА [45]
МАТЕМАТИКА В 11 КЛАССЕ [41]
КОНТРОЛЬНЫЕ РАБОТЫ [31]
ЗАНИМАТЕЛЬНЫЕ ЗАДАЧИ ПО ИНФОРМАТИКЕ ДЛЯ 5-6 КЛАССОВ [17]
ОБУЧАЮЩИЕ РАБОТЫ ПО ГЕОМЕТРИИ. 7 КЛАСС [19]
Главная » Статьи » ОСНОВЫ ИНФОРМАТИКИ ДЛЯ ШКОЛЬНИКОВ И СТУДЕНТОВ

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

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

Земля вращается вокруг своей оси и вокруг Солнца; орбиты всех планет проходят вокруг Солнца.

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

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

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

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

В процессе познания окружающего мира человечество постоянно прибегает к моделированию и формализации.

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

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

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

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

Из основного тезиса формализации следует сама идея моделирования.

Для обозначения объекта вводится некоторый набор знаков.

Знак – это элемент конечного множества отличных друг от друга элементов.

Основные черты знака:

1. Способность выступать в качестве заместителя объекта;

2. Неотождественность знака и объекта – знак никогда не может полностью заменить обозначаемое;

3. Многозначность соответствия «знак – объект».


Категория: ОСНОВЫ ИНФОРМАТИКИ ДЛЯ ШКОЛЬНИКОВ И СТУДЕНТОВ | Добавил: admin (02.01.2014)
Просмотров: 796 | Теги: информатика для чайников, лекции по информатике, компьютер и работа на нем, информатика в школе, изучаем информатику, ИТК в школе, подготовка к ЕГЭ | Рейтинг: 0.0/0
УЧИТЕЛЮ ИНФОРМАТИКИ
КОНСПЕКТЫ УРОКОВ
ВНЕКЛАССНЫЕ МЕРОПРИЯТИЯ ПО ИНФОРМАТИКЕ
ПОСОБИЯ И МЕТОДИЧКИ ДЛЯ УЧИТЕЛЯ ИНФОРМАТИКИ
ИЗ ОПЫТА РАБОТЫ УЧИТЕЛЯ ИНФОРМАТИКИ
ЗАДАНИЯ ШКОЛЬНОЙ ОЛИМПИАДЫ ПО ИНФОРМАТИКЕ
ИНФОРМАТИКА В ШКОЛЕ
ИНФОРМАТИКА В НАЧАЛЬНЫХ КЛАССАХ
ИНФОРМАТИКА В 3 КЛАССЕ
ИНФОРМАТИКА В 4 КЛАССЕ
КОНТРОЛЬНЫЕ РАБОТЫ ПО ИНФОРМАТИКЕ. 3 КЛАСС
КОНТРОЛЬНЫЕ РАБОТЫ ПО ИНФОРМАТИКЕ. 4 КЛАСС
ПРОГРАММИРОВАНИЕ ДЛЯ ДЕТЕЙ
СКАЗКА "ПРИКЛЮЧЕНИЯ ЭЛЕКТРОШИ"

ИГРОВЫЕ ТЕХНОЛОГИИ НА УРОКАХ ИНФОРМАТИКИ
ИГРОВЫЕ ЗАДАНИЯ ПО ИНФОРМАТИКЕ
ВИКТОРИНЫ ПО ИНФОРМАТИКЕ
КОМПЬЮТЕРНЫЕ ЧАСТУШКИ
ОБРАТНАЯ СВЯЗЬ
Поиск


Друзья сайта
  • Создать сайт
  • Все для веб-мастера
  • Программы для всех
  • Мир развлечений
  • Лучшие сайты Рунета
  • Кулинарные рецепты
  • Статистика

    Онлайн всего: 1
    Гостей: 1
    Пользователей: 0
    Форма входа


    Copyright MyCorp © 2024
    Яндекс.Метрика Top.Mail.Ru