Формализация языка в работах по компьютеру - работа из нашего списка "ГОТОВЫЕ РАБОТЫ". Мы помогли с ее выполнением и она была сдана на Отлично! Работа абсолютно эксклюзивная, нигде в Интернете не засвечена и Вашим преподавателям точно не знакома! Если Вы ищете уникальную, грамотно выполненную курсовую работу, контрольную, реферат и т.п. - Вы можете получить их на нашем ресурсе.
Вы можете запросить реферат Формализация языка в работах по компьютеру у нас, написав на адрес ready@referatshop.ru.
Обращаем ваше внимание на то, что скачать реферат Формализация языка в работах по компьютеру по предмету ФИЛОСОФИЯ с сайта нельзя! Здесь представлено лишь несколько первых страниц и содержание этой эксклюзивной работы - для ознакомления. Если Вы хотите получить реферат Формализация языка в работах по компьютеру (предмет - ФИЛОСОФИЯ) - пишите.
Фрагмент работы:
Содержание
Введение 3
Формализация языка в работах по компьютеру 4
Заключение 9
Список литературы 10
Введение
Общеизвестно, что при решении задач из различных областей человеческой деятельности используется (как правило) некоторый язык, позволяющий формализовать исходную постановку задачи (построить формальную модель) с целью возможного применения формальных методов (если таковые существуют) самого языка для решения поставленной задачи.
Таким образом, процесс формализации в данном случае сводится к описанию проблемы (задачи) на некотором формальном языке. Хорошо если этот формальный язык – язык математики, а, следовательно, обладающий развитыми методами решения формализованных задач. В этом случае, обычно, говорят о полной формализации проблемы. Если формальный язык не является языком в работах по компьютеру – говорят о неполной или частичной формализации проблемы. При этом не исключается существование другого формального языка, с помощью которого достигается полная или частичная формализация проблемы. Впрочем, возможны ситуации, когда не удается получить формальную модель проблемы. Если такие модели в принципе существуют, то проблема является полностью или частично формализованной. В противном случае говорят о не формализованных предметных областях, т. е. о таких областях, где существуют не формализованные проблемы.
Цель работы – формализация языка в работах по компьютеру.
Формализация языка в работах по компьютеру
Формальные системы и формализация еще не стали предметами специального, профессионального исследования. Формализация как метод науки всегда предшествует аксиоматизации и определяет в ряде пунктов ее суть, но, тем не менее, литературы по аксиоматическому методу значительно больше, чем по формальному. Прослежена история аксиоматического метода, выделены три формы аксиоматизации, наработаны аксиоматики, есть метатеория, выясняю
Посмотреть другие готовые работы по предмету ФИЛОСОФИЯ