Кто нить изучает в универе предмет под названием Логика? Как вам она? И понимаете ли вы всё эти формулы?

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

Т.к. учусь уже на 3, и о таком в первые слышу... на какие науки она опирается???

Логика обычно занимается логическими высказываниями(типа 2+2=5 - ложь и 2+2=4 - истина), дедукцией всякой, предикатами, автоматическим доказательством теорем, еще чем-то (давно это было, не помню уже). А еще бывает, занимается формальными языками(особенно языками логики предикатов), теорией доказательств, теорией моделей,... У нас оно еще немного занималось теорией алгоритмов (регистровые машины, какая-то там разрешимость с перечислимостью) и формальными теориями ("множество T из L^сигма называется теорией если оно выполнимо и замкнуто относительно семантического следствия"...)

 

Напугал, да? 8) Это я из методички немного поцитировал просто. Я тоже боюсь.

то что ты выдал у нас называется "ТОНКМ" (то бишь "Теоретические Основы Начального Курса Математики").

BlackboX

Жуть!!! Не, ну, я изучала аналитическую алгебру, информатику и философию, т.е. если это обьединить в месте то = ЛОГИКА???

Была логика, хороший предмет, но для меня он был таковым просто потому, что повезло с учителем. Объяснял все доходчиво, интересно, с юмором. Хотя и требовал потом тоже не плохо знания -)

Йору

Да? Это в смысле "Все черти красные", ежели их нет?