но все равно нафига знать весь бек библиотек?

Я то для себя учу, поэтому хочу прям знать мат логику стоящую за всеми этими библиотечками. Думаю на это у меня еще правда года 2-3 уйдет)

Зачем тебе мат. логика, она вообще сбоку припёку.

Не согласен, дискретная математика это то что должен знать программист и в неё входит мат, логика

Пусть учат, что хотят

тут вроде чат не чтобы отговаривать от обучения, изучения чего-то нового

Не согласен, дискретная математика это то что должен знать программист и в неё входит мат, логика

@cyneruxyz А ты знаешь математическую логику?

Сейчас уже половину прочитал

Респект

Я был отличником на курсе по ней

У самого на столе стоит

Я был отличником на курсе по ней

Пардокс Лёвенгейма Скулема в чём?

Пардокс Лёвенгейма Скулема в чём?

Ребят, если есть Джависты, порекомендуйте пожалуйста, джавараш стоит оплатить? Очень расходятся отзывы о ресурсе. Интернет говорит о практичности англоязычных курсов из торрентов. Где правда и существует ли она? Задача проста. Есть время. Есть выбор ресурсов для начала обучения. Какой порекомендуете?

Пардокс Лёвенгейма Скулема в чём?

Я учился на программиста, а не на физмате

Дискретка первого курса - мат логика, автоматы, кодирование и графы

Ну графы это понятная тема

Главное, нужная

Главное, нужная

Рили ?

А он в чем то поможет ?

Ничем. Я просто опровергаю тот факт, что программисту нужна матлогика. В матрогике без базы типа теорем Гёделя, Теоремы Лёвенгейма-Скулема делать вообще нечего. Уже не говоря о том, что сейчас модно использовать категорный язык и разные топосы. Да, с CS можно найти гомотопическую теорию типов и прочие родсвенные матлогике части. Только программисту практику это не о чём

Ничем. Я просто опровергаю тот факт, что программисту нужна матлогика. В матрогике без базы типа теорем Гёделя, Теоремы Лёвенгейма-Скулема делать вообще нечего. Уже не говоря о том, что сейчас модно использовать категорный язык и разные топосы. Да, с CS можно найти гомотопическую теорию типов и прочие родсвенные матлогике части. Только программисту практику это не о чём

Ой, мир С++ это разброд и шатание, кто как хочет, так и пишет. C с классами, C плюс STL, дикая функциональщина на шаблонах, юзаем последние дикоразмножающие стандарты, Qt, boost и т. п. Там достаточно забавный и непохожий зоопарк. И всё-таки некоторые идеи в основе С++ я готов признавать ошибочными, но тогда это ещё не было понятно

"Дискретная математика для программистов" от Хаггарти(профессор Оксфорда) хватит, чтобы изучить столько, сколько пригодится

Не согласен, дискретная математика это то что должен знать программист и в неё входит мат, логика

Мат логика это другое

Не другое, она входит в стек дискретной

Не знаю, я буду дальше изучать и углубляться

Ну давай, расскажи😏

Вот хорошее введение в математическую логику, котое я в своё время проработал: http://logic-books.info/sites/default/files/klini._matematicheskaya_logika.pdf

😏 но ведь ты сказал, что это другое, расскажи почему

Вот хорошее введение в математическую логику, котое я в своё время проработал: http://logic-books.info/sites/default/files/klini._matematicheskaya_logika.pdf

Мне тоже интересно, я тоже это изучаю. Я просто отдаю отчёт, что это почти никак не востребовано на том уровне, что я могу достичь. Но у меня есть большие вопросы, что ты математической логикой называешь что-то совсем иное, типа битовый трюков максимум. Математическая логика это не таблицы истинности, и даже не тьюринг-вычислимость, это больше основания математики и построением моделей.

Не другое, она входит в стек дискретной

Айпишник спалишь ?

о, ты знаешь дискретную матетематмку? тогда назови все подмножества всех множеств

Правильно говорить классы множеств

о, ты знаешь дискретную матетематмку? тогда назови все подмножества всех множеств

Теорема Кантора тебе в помощь)

Доебать все решили, значит