Математическая логика
Маркин П.М.
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания).
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика.
Litres
Ցանկանու՞մ եք գրախանութ ավելացնել: Խնդրում ենք կապնվել մեզ հետ support@z-lib.do միջոցով
File converter
Բացել որոնման արդյունքները
More benefits 
