RodegastНет, не так. …
Т.е. число 100 является числом 100 потому что 100 == 100 и не равняется ничему больше?
Полная версия: Числа и предикат равенства Х=Y
> Нет, не так.
Но тогда как? Попробуй выразить число 100 через эту логику.
Но тогда как? Попробуй выразить число 100 через эту логику.
RodegastНеужели так трудно запустить программу и посмотреть ее действие по шагам?
> Но тогда как? Попробуй выразить число 100 через эту логику.
Ноль - то, что равно и не равно себе
Один - то, что равно себе и не равно предыдущему (нулю)
Второй - то, что равно себе и не равно нулю, первому
Третий - то, что равно себе и не равно нулю, первому, второму
и т.д.
Для сравнения - аксиомы Пеано
Что в них говорится?
Что один - это число. И все! Это все равно, что сказать, что слон - млекопитающее. Но этого мало! Чем слон отличается от других млекопитающих? В таком виде непонятно.
Смотрим дальше.
Есть функция следования. Что значит следовать? Опять непонятно. Мы, конечно, интуитивно это понимаем. Но этого опять мало!
P.S. Функция следования (как она представлена в программе) - это (не равняться с каждым предыдущим)
Что в них говорится?
Что один - это число. И все! Это все равно, что сказать, что слон - млекопитающее. Но этого мало! Чем слон отличается от других млекопитающих? В таком виде непонятно.
Смотрим дальше.
Есть функция следования. Что значит следовать? Опять непонятно. Мы, конечно, интуитивно это понимаем. Но этого опять мало!
P.S. Функция следования (как она представлена в программе) - это (не равняться с каждым предыдущим)
> Один - то, что равно себе и не равно предыдущему (нулю)
А что значит “равно предыдущему”? У тебя множества, а значит что какой либо порядок отсутствует по определению.
> Есть функция следования
Её у тебя нет.
А что значит “равно предыдущему”? У тебя множества, а значит что какой либо порядок отсутствует по определению.
> Есть функция следования
Её у тебя нет.
RodegastНе равно предыдущему. Если было бы равно, то не было бы различий (не бывает чего-то два, которые ни в чем не различаются)
А что значит “равно предыдущему”?
RodegastГде в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать. Это совершенно разное.
У тебя множества, а значит что какой либо порядок отсутствует по определению.
bulygin69
Для сравнения - аксиомы Пеано Что в них говорится? Что один - это число. И все! Это все равно, что сказать, что слон - млекопитающее. Но этого мало! Чем слон отличается от других млекопитающих? В таком виде непонятно.Смотрим дальше.Есть функция следования. Что значит следовать? Опять непонятно. Мы, конечно, интуитивно это понимаем. Но этого опять мало!P.S. Функция следования (как она представлена в программе) - это (не равняться с каждым предыдущим)
RodegastЕсть.
> Есть функция следования
Её у тебя нет.
> Не равно предыдущему.
> Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать
В множестве любых значений порядок отсутствует, а значит нет никаких “предыдущих” элементов.
> Есть.
Ну и где она? Более того если у тебя множество произвольных элементов, то такую функцию невозможно создать.
> Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать
В множестве любых значений порядок отсутствует, а значит нет никаких “предыдущих” элементов.
> Есть.
Ну и где она? Более того если у тебя множество произвольных элементов, то такую функцию невозможно создать.
RodegastПовторяю. Есть множество элементов, которое требуется сосчитать. Оно не упорядочено. Есть упорядоченное. В программе это список натуральных чисел.
> Не равно предыдущему.
> Где в коде множество чисел? Его нет. Есть множество элементов, которые требуется посчитать
В множестве любых значений порядок отсутствует, а значит нет никаких “предыдущих” элементов.
Справка:
Множество M называется упорядоченным, если между его элементами установлено некоторое отношение a < b (“a предшествует b”), обладающее следующими свойствами: 1) между любыми двумя элементами a и b существует одно и только одно из трех соотношений: a = b, a < b, b < a; 2) для любых трех элементов a, b и c из a < b, b < c следует a < c.
P.S. Поскольку каждому элементу множества ставится в соответствие ТОЛЬКО ОДНО значение из списка чисел, то это функция
> Есть упорядоченное. В программе это список натуральных чисел.
Множество и список это совершенно разные структуры данных.
> Множество M называется упорядоченным, если между его элементами установлено некоторое отношение a < b
Совершенно верно, более того функция которая определяет это соотношение как раз и является функцией следования. Но поскольку в твоём множестве несравнимые величины, то создать такую функцию невозможно.
Множество и список это совершенно разные структуры данных.
> Множество M называется упорядоченным, если между его элементами установлено некоторое отношение a < b
Совершенно верно, более того функция которая определяет это соотношение как раз и является функцией следования. Но поскольку в твоём множестве несравнимые величины, то создать такую функцию невозможно.
Rodegast
> Есть упорядоченное. В программе это список натуральных чисел.
Множество и список это совершенно разные структуры данных.
Список - упорядоченная структура данных. И именно это используется для хранения чисел
Множество {a, с, b, …} не упорядочено. Но каждому элементу этого множества можно однозначно сопоставить ТОЛЬКО ОДИН элемент этого списка (с учетом порядка следования) . Это и есть функция. Функцией же следования (а не просто функцией) она будет потому, что отношение здесь задается как (не равняться каждому предыдущему).