2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Каррирование
Сообщение18.03.2011, 09:53 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
Как нормально объяснить студентам-первокурсникам, что $|(A^B)^C| = |A^{B \times C}|$? ($X^Y$ означает множество функций из $Y$ в $X$, модуль --- мощность множества). Есть естественная биекция между множествами в левой и правой частях указанного равенства, задаваемая каррированием. Я вчера целый семинар всё это расписывал, но, судя по реакции публики, дошло довольно плохо. Хотя ведь вещь крайне простая!

 Профиль  
                  
 
 
Сообщение18.03.2011, 10:03 
Аватара пользователя


22/12/10
264
Ну, если студенты знают, кто такой Карри, и ещё одну фамилию (Ховарда), то можно вот так:

Код:
Djinn> f ? ((a,b) -> c) -> (a -> (b -> c))
f :: ((a, b) -> c) -> a -> b -> c
f a b c = a (b, c)


;)

 Профиль  
                  
 
 
Сообщение18.03.2011, 11:07 
Заморожен
Аватара пользователя


18/12/07
8774
Новосибирск
Portnov в сообщении #424181 писал(а):
Ну, если студенты знают, кто такой Карри, и ещё одну фамилию (Ховарда)

Не знают, увы :cry:

 Профиль  
                  
 
 Re: Каррирование
Сообщение18.03.2011, 11:51 


19/05/10

3940
Россия
Профессор Снэйп в сообщении #424178 писал(а):
Как нормально объяснить студентам-первокурсникам, что ...


Заставить надо и все дела :)
и запугать еще - быстро все выучат

 Профиль  
                  
 
 
Сообщение18.03.2011, 17:14 
Заслуженный участник
Аватара пользователя


07/01/10
2015
По-моему, на примерах надо. Если к функции сложения двух чисел частично применить один аргумент, получится функция одного аргумента. Это даже школьник поймёт.

 Профиль  
                  
 
 
Сообщение18.03.2011, 17:36 
Заслуженный участник
Аватара пользователя


30/01/06
72407
И графически можно показать. График функции двух переменных - это рельеф местности $z(x,y).$ Если взять его сечение произвольной вертикальной плоскостью, в сечении получится график функции одной переменной $z(l).$ В частных случаях эта плоскость может быть ориентирована вдоль осей $x$ и $y,$ и задаваться, соответственно, значениями $y$ и $x.$

 Профиль  
                  
 
 Re:
Сообщение18.03.2011, 18:31 
Заслуженный участник


13/12/05
4518
Munin в сообщении #424412 писал(а):
И графически можно показать.

Точно, очень наглядно.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 7 ] 

Модераторы: Модераторы, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group