Математическая логика
Маркин П.М.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Litres
Kitab mağazasını əlavə etmək istəyirsiniz? Bizimlə support@z-lib.do ilə əlaqə saxlayın
Faylları çevirin
Daha çox axtarış nəticəsi
Digər üstünlüklər 
