Иногда хочется прокомментировать, но у тебя включена запись IP-адресов...

(Reply to this) (Thread)

Сюда же можно заходить через Тор, если что

(Reply to this) (Parent) (Thread)

Так и зашёл, но до и после не буду.

(Reply to this) (Parent) (Thread)

Тут уже каждый сам волен выбирать, комментировать или нет

(Reply to this) (Parent)

для матлогики нужно освить две книги:

1.немецкую логику -- Теорию "Доказательств" (основания математики) Гильберта и Бернайса (двухтомник)
2.английскую логики(ебануться можно) -- Принкипию Математику Рассела-Уайтхеда (если сможете, хаха)

(Reply to this) (Thread)

нет, у меня пока нет в планах их читать
есть более доступные (но строгие) книги по матлогике. например вот
https://page.mi.fu-berlin.de/raut/logic3/announce.pdf

(Reply to this) (Parent) (Thread)

доставило Theory of Selfreference в конце учебника))
вот оказывается чем все заканчивается в логике -- самоконтроль и эстетика.

(Reply to this) (Parent)

как вариант -- негритянский выбор (если не хочется впадать
в самоконтроль и эстетику):

http://easyelectronics.ru/files/Book/digital-design-and-computer-architecture-russian-translation.pdf

(Reply to this) (Parent) (Thread)

Мне хорошо известна эта книга, она касается математической логики (точнее булевой алгебры, если быть точным), но в матлогике этим же дело не ограничивается. Далее идет вычислимость, сложность, теория доказательств, моделей и т.д. Поэтом у у Харрисов есть только приложение одного из разделов матлогики
Кстати, как тебе управжнения в этой книге?

(Reply to this) (Parent) (Thread)

Да, матлогика этим не ограничивается. Ещё можно было лекции Москвина по хаскелю привести в качестве "негритянского выбора"
С Харрисами я не дружу особо. Упражнения не смотрел пока. Только сегодня добрался до книжки. Я в декабре 2021 купил себе ПЛИС (FPGA) с целью строить свой первый техномагический процессор multilink hyperhizoma. Всё таки моя специальность информационно измерительная техника. На vrrilog или VHDL даже.

(Reply to this) (Parent)

Вот и хотел харрисов поизучать

(Reply to this) (Parent) (Thread)

Настоятельно рекомендую делать управжнения. Особенно в первых трех главах Харрисов, которые фундумантальные)
С математической точки зрения очень грамотный подбор.

Например, вот эта задача:

Упражнение 1.66. Марсианская летающая тарелка потерпела крушение
на кукурузном поле в штате Небраска. Следователи ФБР обнаружили среди
обломков руководство по космической навигации с формулами, записанными в
марсианской системе счисления. Одна из формул выглядит следующим образом:
325 + 42 = 411. Если эта формула записана без ошибок, сколько пальцев на руке марсианина вы бы ожидали увидеть?

Просто суперская задача. На первый взгляд, выглядит как задача "Сколько стоит кг гвоздей, если козырь чирва". Но, это абсолютно корректная задача, имеющая решение)

Забегая вперед, скажу, что решая эту задачу, можно найти общее число пальцев марсианина, а после - несколько вариантов того, сколько пальцев на одной руке)

(Reply to this) (Parent) (Thread)

по три пальца.
дружище я спец по марсианской логике. я ж с марса (Мариуполя).

(все таки я политех закончил по информационно-измерительной технике,
нам все это пять лет вдалбывали. а системы счисления я изучил лет так в 15,
как на бейсике начал творить. это просто уже в уме. это в математике я олух
или уже полуолух..{вобщем распизделся я чего-то. старею.} )

(Reply to this) (Parent) (Thread)

Бинг!
но только не совсем)
Я тоже первый раз так решил, но (как обычно) анализируя уже решенную задачу, задался вопросом - где сказано, что марсианин антропоморфен и у него 2 руки? Нигде)
Засим полный ответ будет таким:
6 пальцев, если рука одна
3 - если две
2 - если рук три
и 1 - если рук шесть

Итого имеем, что ответ лежит в множестве {1, 2, 3, 6}

(Reply to this) (Parent) (Thread)

не ну просто у тебя не было моих данных. я ж их лично знаю..))
Корабль Дзетта..херачат лучом смерти..любят игрушечных троянских понни..
нравятся они им за совершенство форм


https://www.youtube.com/watch?v=-G93pu5MsnU

(Reply to this) (Parent)

если по последним разрядам 2+5 == 11 значит в шестеричной системе все. ну

(Reply to this) (Parent)

знаком с этими дурачками из Мариуполя. вот один из выживших. Они игрушечных лошадок любят. боготворят , типа, троянских коников

(Reply to this) (Parent)