Здравствуйте, Тролль зеленый и толстый, Вы писали:

G>>Если ты еще не понял: сама по себе индукция применяется именно там где есть рекурсия, иначе это не индукция получается.

ТЗИ>А откуда у тебя взялось такое убеждение? Это ты где-то прочитал или сам к этому пришел? Дай хотя бы ссылку на источник.
На первом курсе еще учили.

ТЗИ>Не знаю, как ты собираешься выражать F(n+1) через F(n), если F(n) — это логическое высказывание об n-ном элементе множества. Ты, наверно, имел в виду выражение элемента n+1 через элемент n, но что это дает для доказательства импликации F(n) -> F(n+1)?
А как ты докажешь истинность F(n+1) если оно никак не связано с F(n) ?

ТЗИ>Допустим, в Википедии есть пример доказательства по индукции. Где там выражение F(n+1) через F(n)?
F(n)


F(n+1)


Если ты не заметил, то первое преобразование это как раз применение F(n)

Вообще меньше википедию читай, своим мозгом думай.

Здравствуйте, batu, Вы писали:

B>Здравствуйте, VladD2, Вы писали:

VD>>Согласен. Кстати тебе стоило бы попробовать изложить основу идеологии своего языка, а не выкатывать подробный документ. (он все равно не достаточно подробен). Объяснить почему то-то и тот-то приемущество, почему нет этого и этого.
B>Я думаю ответом может быть следующий документ здесь

Замечание по процедурному вопросу: а ты не пробовал пользовать более современные и дружественные к пользователю способы передачи информации? HTML например? Хотяб загрузил это в Google Docs или завёл какой блог или типа того. А то как-то начинает вспоминаться, что Лада — это несколько устаревшая машина

Здравствуйте, Курилка, Вы писали:

К>Здравствуйте, batu, Вы писали:

B>>Здравствуйте, VladD2, Вы писали:

VD>>>Согласен. Кстати тебе стоило бы попробовать изложить основу идеологии своего языка, а не выкатывать подробный документ. (он все равно не достаточно подробен). Объяснить почему то-то и тот-то приемущество, почему нет этого и этого.
B>>Я думаю ответом может быть следующий документ здесь

К>Замечание по процедурному вопросу: а ты не пробовал пользовать более современные и дружественные к пользователю способы передачи информации? HTML например? Хотяб загрузил это в Google Docs или завёл какой блог или типа того. А то как-то начинает вспоминаться, что Лада — это несколько устаревшая машина
Та надо бы.. Уже пора. Задумалсо..

Здравствуйте, samius, Вы писали:

S>Арифметическую и геометрическую прогрессии в школе не изучают?

Сегодня по радио услышал пример рекурсии для дошкольников

Мы едем, едем, едем
В далекие края,
Хорошие соседи,
Счастливые друзья.
Нам весело живется,
Мы песенку поем,
И в песенке поется
О том, как мы живем.

(С) Сергей Михалков.

G>>>Если ты еще не понял: сама по себе индукция применяется именно там где есть рекурсия, иначе это не индукция получается.
ТЗИ>>А откуда у тебя взялось такое убеждение? Это ты где-то прочитал или сам к этому пришел? Дай хотя бы ссылку на источник.
G>На первом курсе еще учили.

Пруфлинк в студию.

ТЗИ>>Допустим, в Википедии есть пример доказательства по индукции. Где там выражение F(n+1) через F(n)?
G>F(n)
G>

G>F(n+1)
G>

G>Если ты не заметил, то первое преобразование это как раз применение F(n)

Что выражает сия фраза я не понял. Ткни меня носом, пожалуйста, где здесь выражение F(n+1) через F(n).

G>Вообще меньше википедию читай, своим мозгом думай.

Ладно, постараюсь.

Я че-то не понимаю, почему это мое глубокомысленное сообщение не вызвало никаких каментов, а когда я пишу тупак про отстутствие рекурсии в математике — сразу каментов море?

Здравствуйте, Тролль зеленый и толстый, Вы писали:

ТЗИ>Я че-то не понимаю, почему это мое глубокомысленное сообщение не вызвало никаких каментов, а когда я пишу тупак про отстутствие рекурсии в математике — сразу каментов море?

Как вы яхту назовете так она и поплывет.

Здравствуйте, Тролль зеленый и толстый, Вы писали:

ТЗИ>Тут нужен не expression tree, а semantic tree, язык, семантическая насыщенность которого на порядок больше, чем у существующих на сегодня языков программирования.

ТЗИ>Мне кажется, нечто подобное можно было бы изобразить на языке типа пролога. То есть первичным является построение онтологии, покрывающей все языки программирования, на которых предполагается генерировать код.

UML?