LINUX.ORG.RU

[CS][λ] Интересные развития исчисления.

 


0

5

Есть ли какие-либо интересные расширения этого исчисления? Например добавляющие парочку каких-либо правил, или вводящих другие сущности. (Но разумеется в пределах разумного).

Кроме типизированных вариантов.

Кроме того, что почитать по семантике языков программирования?

cast jtootf

Ответ на: Грамотный вброс! от RoadRunner

Чтобы это понять, не надо быть математиком, надо быть троллем.

anonymous
()
Ответ на: Грамотный вброс! от RoadRunner

> непонятно, как комплексные числа являются «подмножеством» вещественных

Тут тонкость в том, что множество комплексных чисел не является, естествено, подмножеством вещественных, и на вышке говорят всё правильно.

Но анонимус толкует про то, что _понятие_ комплексного числа, есть частный случай _понятия_ вещественного.

Он говорит не о самих числах, а об абстракции числа, о логическом понятии.

LamerOk ★★★★★
()
Ответ на: комментарий от LamerOk

Я бы тогда сказал, что _понятие_ комплексного числа, РАВНО КАК и вещественного, является частным случаем _понятия_ числа как такового. С этой точки зрения и вещественные, и комплексные числа находятся в равном положении к «прародителю» - ЧИСЛУ, хотя и являются довольно близкими родственниками.

RoadRunner
()
Ответ на: комментарий от RoadRunner

> является частным случаем _понятия_ числа как такового

и вещественные, и комплексные числа находятся в равном положении к «прародителю» - ЧИСЛУ

Чувак, расскажи что такое ЧИСЛО. Что такое вещественные и комплексные числа я осознаю, но ЧИСЛО в том смысле что ты употребляешь — понятия не имею.

vladimir-vg ★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.