Матлогика - отличный предмет, который, невзирая на замечания отдельных пуристов, все же является частью математики, а не т.н. "философской логики". Из матлогики выросла (в большей степени) база теоретической информатики (прежде всего, вычислимость), но у этого предмета есть темная сторона.

Математическая логика не рождает нового знания. Она "работает" с тем, что есть. Очередной раз подумал об этом, работая с этой книгой.

В том числе, по этой причине Пуанкаре логику не любил и даже считался ее врагом. Так говорят, во всяком случае, когда стало известно об открытии Курта Геделя (теорема о неполноте), старик Пуанкаре заявил, что логика теперь уже не бесплодна, так как она рождает хотя бы противоречия.

Откуда тогда брать новое знание? Вариант остается только один - строить догадки, гипотезы, которые затем проверять эксперементальным путем. Если других вариантов нет, то в таком случае, действительно, Арнольд был прав: математика оказывается частью физики, в которой эксперементы стоят дешево.

Бакалавриат закончил. В магистратуру пока не пошел. Нужно работать, а тут еще кацапское нашествие.

Да ни нет у нас в Украине нормальной математической магистратуры с уклоном в Theoretical computer science. Но знания можно добывать самому. Благо, ресурсов для этого предостаточно.

Достаточной пройти хоть этот вводный курс, чтобы понять, куда дальше двигаться. Если что-то непонятно, то можно освежить знания тут. В работе (программистом) приходится иметь дело с алгоритмами на графах, поэтому углубляюсь сейчас в эту тему.

На постсовке все дрочат на книгу Кристофидеса, которая по-своему хороша, но все же в ней мало "теории", о чем сам автор и признается во введении. Приходится читать что-то более "теоретическое" и местами немного школьное.

У меня в универе графы были в рамках курса "Дискретная математика". Уровень преподавания - "как везде".

На второе место поставлю книгу Гусева В.А., Мордковича А.Г. «Математика: Справочные материалы». Первое издание вышло еще при совке. В моей домашней библиотеке она есть. В ней представлен тот математический минимум, которым должен обладать выпускник средней школы. 

Если Туманов затрагивает часть университетской программы, то книгу Гусева-Мордковича ограничивается т.н. «алгеброй и началом анализа», а также школьным курсом геометрии.

Интересует ответ на вопрос: 

Имеются ли основания полагать, что компьютерные науки (в Европе, как правило, используется термин "Информатика") являются лишь ветвью прикладной математики?

Вопрос дискуссионный. Точного ответа до сих пор нет. Поэтому интересует мнение участников сообщества.