Трейлер | Математическая логика и теория алгоритмов

Трейлер | Курс: Математическая логика и теория алгоритмов | Лектор: Валентин Зюзьков | Организатор: Томский государственный университет систем управления и радиоэлектроники

Математическая логика возникла почти 100 лет назад в связи с внутренними потребностями математики. Но со временем она нашла применение также в теоретическом и практическом программировании и сегодня помогает преодолеть недостатки естественных языков — их неточность, многозначность и сложность.

Следите за новостями:

[ganglery]

Жаль, что запись уже закрыта. Не понимаю (возможно, потому что не владею математической логикой и теорией алгоритмов), зачем закрывать доступ к лекциям, если курс бесплатный

[oh_hi_mars]

Записался на курс, думаю математическая логика и теория алгоритмов поможет мне как начинающему Java программисту))

[alexeysukhinin]

Со стариной Шерлоком не всё так просто... Он делал общее заключение на основе многочисленных разрозненных частных наблюдений - это индукция и синтез одновременно. Затем, пользуясь общей моделью, он выводил многообразие частных вариантов на основе дедукции. Оценивая внешний вид собеседника, он выводил характер и состояние человека, а затем мог предсказать его реакцию на какую-либо ситуацию. Выходит, что дедукцией Шерлок пользовался, но реже. Не помню, правда, был ли он религиозен, как Декард завещал.... Очень жду данный курс. Надеюсь, что деталей бинарной математической логики об абстрактных истинных/ложных суждениях будет как можно больше.