Адъютант
5 месяцев хватит на деле
Адъютант
но все равно нафига знать весь бек библиотек?
Гамлет
Пусть учат, что хотят
Гамлет
Это их дело
Igor
но все равно нафига знать весь бек библиотек?
тут вроде чат не чтобы отговаривать от обучения, изучения чего-то нового
Гамлет
Зачем тебе мат. логика, она вообще сбоку припёку.
Не согласен, дискретная математика это то что должен знать программист и в неё входит мат, логика
Гамлет
"Дискретная математика для программистов" от Хаггарти(профессор Оксфорда) хватит, чтобы изучить столько, сколько пригодится
фофа
фофа
В принципе, кому как 😄
Ram
Пусть учат, что хотят
Да этож чат. Вопрос то логичный, чего не поспорить. Я не то чтобы хочу прям учить весь бэк. Просто когда говорят что "да этот мачин лерненг легко, скачал библиотечку, написал две строчки и все". Тоже не очень правильный подход как по мне. А матан мне принципе интересен, почему нет, поэтому и целюсь знать по-больше, учитывая что хочу серьезно этим заниматься
Батырбек
Printf
Адъютант
тут вроде чат не чтобы отговаривать от обучения, изучения чего-то нового
я не против, просто это ответвление, возможно от цели
Гамлет
fmt.Println()
Andrii
Не согласен, дискретная математика это то что должен знать программист и в неё входит мат, логика
Дискретная математика вообще манипулятивный раздел, тода поскидывали части разных дисциплин, такой себе винегрет. Элементы матлогики там есть, но очень мало. Ну и 99.99% вообще без понятия о формальных системах, не говоря о модных сегодня топосах и применении категорного языка в той же матлогике.
Andrii
@cyneruxyz А ты знаешь математическую логику?
фофа
Дискет Мат Род Хаггарти
фофа
Сейчас уже половину прочитал
Гамлет
@cyneruxyz А ты знаешь математическую логику?
Я был отличником на курсе по ней
Гамлет
У самого на столе стоит
фофа
Респект
Сэнкю
Andrii
Я был отличником на курсе по ней
Отлично, метод резолюций можешь описать?
фофа
Andrii
Я был отличником на курсе по ней
Пардокс Лёвенгейма Скулема в чём?
фофа
Знаю ток Алгоритм Прима
фофа
Ну и Дейкстры
Ксюша
Дискретка первого курса - мат логика, автоматы, кодирование и графы
Гамлет
Пардокс Лёвенгейма Скулема в чём?
Я учился на программиста, а не на физмате
фофа
Нужно будет поискать что там Игорь писал, тип про множества 🙃
фофа
Гамлет
Да, но нас не всем обучали
Ксюша
Гамлет
Булева алгебра, истинности и тд
Гамлет
Гамлет
фофа
А ну хотя да
фофа
А какой алгоритм работает с отрицательными рёбрами?
Andrii
А он в чем то поможет ?
Ничем. Я просто опровергаю тот факт, что программисту нужна матлогика. В матрогике без базы типа теорем Гёделя, Теоремы Лёвенгейма-Скулема делать вообще нечего. Уже не говоря о том, что сейчас модно использовать категорный язык и разные топосы. Да, с CS можно найти гомотопическую теорию типов и прочие родсвенные матлогике части. Только программисту практику это не о чём
фофа
Точно не Дейкстры
Гамлет
Тимлид запилил и говорит "теперь ты отладь"
Schrödinger's
:)
Гамлет
Мне это лично интересно, плюс для своих целей нужно
Гамлет
Мат логика это другое
Не другое, она входит в стек дискретной
Andrii
Не знаю, я буду дальше изучать и углубляться
Мне тоже интересно, я тоже это изучаю. Я просто отдаю отчёт, что это почти никак не востребовано на том уровне, что я могу достичь. Но у меня есть большие вопросы, что ты математической логикой называешь что-то совсем иное, типа битовый трюков максимум. Математическая логика это не таблицы истинности, и даже не тьюринг-вычислимость, это больше основания математики и построением моделей.
Гамлет
Ну давай, расскажи😏
😏 но ведь ты сказал, что это другое, расскажи почему
Andrii
Вот хорошее введение в математическую логику, котое я в своё время проработал: http://logic-books.info/sites/default/files/klini._matematicheskaya_logika.pdf
фофа
Вчера было 2800 человек, сегодня 3100
фофа
Хотя зачем он тебе
фофа
😅😂
Andrii
😏 но ведь ты сказал, что это другое, расскажи почему
Потому что математическая логика занимается вопросами доказуемости, разрешимости, полноты. Там есть свой математический аппарат, свои теоремы
Anton
Не другое, она входит в стек дискретной
о, ты знаешь дискретную матетематмку? тогда назови все подмножества всех множеств
Andrii
Айпишник спалишь ?
У меня не белый айпишник
🌚
Anton
попустили за шутку(
Горячий спор
Гамлет
Доебать все решили, значит
фофа
Та да
Гамлет
Все на меня
фофа
Дима
Доебать все решили, значит
Ты прав насчёт математической логики, что это раздел дискретной математики. Признаю что был не прав