Математическая логика
Маркин П.М.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Litres
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Convertissez des fichiers
Plus de résultats de recherche
Autres avantages 
