Can I read Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : специальность 09.00.07 on EtoBox?

Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : специальность 09.00.07 by Шангин В.О. is a nonfiction available to read on EtoBox.

What is Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : специальность 09.00.07 about?

Актуальность темы исследования Проблема поиска логического вывода традиционно считается одной из центральной тем логики. Бурное развитие данной проблематики в XX веке стимулировали, с одной стороны, фундаментальные работы Г. Генцена и Ж. Эрбрана и. с другой, появление ЭВМ. Возможность использования ЭВМ в процессе поиска логического вывода привела к появлению проблематики автоматического (машинного) поиска логического вывода.В настоящее время определяющим фактором при предпочтении одной логической системы перед другой становится наличие (автоматической) процедуры поиска вывода. Такие процедуры существенным образом облегчают нахождение логического вывода и активно используются в педагогической работе.В свою очередь, эти процедуры являются объектом исследования и постоянно сравниваются между собою по степени сложности (вычислительные затраты на поиск вывода), гибкости (возможность адаптации к нескольким логическим системам), удобства (понятный интерфейс, возможность поиска вывода как от посылок к заключению, так и от заключения к посылкам) и т.д.В диссертационном исследовании тема автоматического поиска логического вывода ограничивается поиском вывода в натуральном исчислении типа Куа

Who reads Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : специальность 09.00.07?

Author

Шангин В.О.

Published

2004

Language

RU

Category

nonfiction

Subjects

Philosophy, Humanities