Junior спільнота

гадаю бізнес-аналітик

орхетсратора це я додав до глосарія, мені сподобалось :) а по справі — у ембеддед є два глобальних підходи — rtos та супер луп, судячи по тексту у вас перше, тоді має бути паттерн consumer/producer з чергами, або якщо використовують шарені дані...

Якщо ви з будьякої фізмат школи-чи-класу то мали би пам’ятати що на першому курсі математика була незнайома тільки тим хто зі звичайної школи прийшов, пролапіталити ліміти хочби.

Где «не багато»? На РФФ в Шеве?

по ідеї будь-яка формальна аксіоматична система, починаючи з певного рівня складності з рівня складності що включає базові арифметичні правила) Якщо вони є то теорема правцює. Про дизайн, так, незрозуміло

Там база це аксіоми базової арифметики по ідеї будь-яка формальна аксіоматична система, починаючи з певного рівня складності математика в певних сферах(дизайн/фронтенд) все ж не буде обов’язковою Тоді може буде питання що з вебпрограмування взагалі...

Там база це аксіоми базової арифметики, не думаю що так легко перевести, проте це все моя не експертна думка. Загалом я згоден, ті хто мають лише поверхневі знання — скоротяться першочергово.

По Геделю у будь-якій формальній системі починаючи з якогось початкового рівня логіки при фіксованій базі (скажімо аксіом) — будуть ствердження які неможливо і не довести і не спростувати. Але, по ідеї змінивши базу їх можливо перевести в стан доказовості-чи-спростування.

Про задачі які неможливо вирішити на практиці*. Також є uncomputable задачі. В математиці є вірні твердження які неможливо довести.

Якщо не помиляюся то NP — це щодо знайти рішення за допомогою computing в лоб так сказати, у той час коли у зворотньому напрямку — то швидко (показати що рішення коректне). Тобто то не зовсім про те що — задачі ... які неможливо вирішити.

Ну там в програмуванні теж. NP складні задачі можно лише наближені рішення знайти. Та і з поліноміальними, думаю, чули про останню серію покращень на багатьох відомих задачах.

коротко та ясно — буржуазний пережиток

Математика скоро станет ненужна даже математикам.

і топік успішно пройшов модерацію на DOU Для багатьох це реально складний квест :)

Напевно так в короткочасовій перспективі, тобто те що легше оптимизувати з прикладними та інструментальними скілами (програмування по суті) буде нівелюватися, формалізуватися, і десь у напрямку машин зміщуватися.