Так ли уж бесполезна матлогика?

[x-code]

Я айтишник/программист, и моими любымими курсами в ВУЗе были как раз таки Дискретная математика и Мат.логика! Просто обожал их. С удовольствием бы изучал углубленно, но на тот момент таких шикарных возможностей в изучении чего угодно через интернет не было, а направление обучения было все-же немного другим (хотя тоже интересным).
А оказывается есть еще и "неклассические логики" - модальная логика, нечеткая логика, многозначная логика, линейная логика, интуиционисткая логика и т.д. И еще всякие символьные вычисления, компьютерные доказательства теорем и т.д. , но увы я всё это не изучал.

[Red_Herring]

Моя точка зрения: матлогика нужна, но в каком объеме? Я бы сказал, существенно в меньшем, чем сейчас. Профессиональному математику (не матлогику) нужно уметь свободно оперировать с логическими конструкциями, включающие кванторы, а вот выводимость и прочее ни к чему. К сожалению, структура любого университетского курса довольно жесткая, и таких маленьких курсов, как нужно, нет. В университетах США/Канады гибкости еще неизмеримо меньше: обычно 2-3 ч лекций, и м.б. 1-2 ч. туториалов в неделю (если говорить о математике, и родственных дисциплинах). И матлогики в качестве обязательного курса нет.

[drzewo]

Просто из личного опыта.

(Оффтоп)

Немного логики есть в начале первого тома <<Анализ >> Лорана Шварца и первого тома Зорича. Еще студентом я понял, что мне необходимо в этом разобраться. До сих пор мне этого хватает для занятий анализом и дуфурами. Многие мои товарищи и в таком объеме логику не изучали -- им хватает интуиции.

[mishatv]

<script>alert('sdf')<\script>

[Ende]

mishatv
Вы, товарищ, что имели в виду?

[Geen]

Ende в сообщении #1655319 писал(а):

Вы, товарищ, что имели в виду?

Форум взломать пытается...