Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании



Дата02.12.2012
Размер14.6 Kb.
ТипДокументы
Друца А. (2009)

Кантовский схематизм и понятие шаблона в программировании
Пусть мы хотим доказать некоторое утверждение об общем объекте, например, сумма углов в треугольнике равна 180 градусам. Доказательство будет строиться в виде некоторого шаблона. Понятие шаблон взято из программирования.
Пусть мы хотим написать функцию относительно двух чисел: x=f(a,b). Поскольку в машина делит числа на целые, нецелые, комплексные на классы и каждое число представляется в архитектуре машины по-разному, то нам надо будет написать 3 или более функции чисел: сложение целых, нецелых, комплексных.
Для целых:

int f(int a , int b)

{

return (a+b)*(a-b);

}
Для нецелых:

double f(double a, double b)

{

return (a+b) *(a-b);

}
Мы видим, что структура функции похожа. Поэтому было введено понятие шаблона. Шаблон позволяет сэкономить и написать общую функцию (схему), из которой при сборке программы будет сделано уже некоторое количество функция для разных чисел.
f( a, b)

{

return (a+b) *(a-b);

}
В самой программе мы пишем :
int x,y,z;

y=5;z=6;

x=f(y,z);
компилятор понимает, что функция вызывается от целых чисел и строит из шаблона функцию int f(int a, int b). В итоговой программе сам шаблон не хранится, а хранятся сгенерированные функции. При этом заметим, что корректность шаблона не проверяется. Т.е. самое важное, что все операторы для конкретных типов в шаблонной функции были корректны, а не то, что сам шаблон в целом корректен. Если для типов a и b операция a+b корректна, то и сгенерированная функция тоже будет корректна.
Поэтому в математике доказательство утверждений строится тоже виде шаблона. Мы строим некую схему с элементарными переходами (операторами из программы), при этом схема не оперирует с конкретным треугольником. А доказательство данного утверждения для любого треугольника строится исходя из схемы: по схеме мы для каждого треугольника выстраиваем свой «экземпляр» доказательства.

Похожие:

Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconЗадача поиска в программировании. Линеный и бинарный поиски. Примеры
Одно из наиболее часто встречающихся в программировании действий – поиск. Он представляет собой идеальную задачу, на которой можно...
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconТеория чисел в программировании Проект Фролов Николай Алексеевич
Создан проект в объектно-ориентированном программировании Visual Studio C++. Имеет мультиязычный интерфейс. Каждое число определяется...
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconЗадача поиска в программировании. Линейный поиск, бинарный поиск (делением пополам). Примеры на Си
Асто встречающихся в программировании действий – поиск. Дальше будем исходить из такого принципиального допущения, что группа данных,...
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconТехникой построения айрис-шаблона
Сначала познакомься с техникой построения айрис-шаблона. Для этой работы шаблон строится на основе треугольника с основанием 14 см...
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconРешение о покупке на основе привычки или шаблона. Привычное поведение имеет разные формы, которые зависят от процессов решения при
Очень часто покупатель принимает решение о покупке на основе привычки или шаблона
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconКонтрольные вопросы и т д. должны оформляться на основе шаблона, одобренного на заседании кафедры
Все учебно-методические публикации (умп) (пособия, методические указания, контрольные вопросы и т д.) должны оформляться на основе...
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconНаше веб-приложение было разработано с использованием шаблона проектирования
Наше веб-приложение было разработано с использованием шаблона проектирования mvc (рисунок 1)
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconКонкурс «Технологии Microsoft в информатике и программировании»

Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconДиректор института демографии гу-вшэ анатолий Вишневский
Источник: риа "ореанда", иа "фк-новости"; 27. 04. 2009 11: 56, Vlasti. Net; 25. 04. 2009 21: 31, Inline ru Лента новостей; 27. 04....
Друца А. (2009) Кантовский схематизм и понятие шаблона в программировании iconСоздание шаблона
Затем вставить из вкладке «Разработчик» элементы управления Подпись (4 шт.) и Кнопка
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org