alexey_rom: (Default)
Не подскажет ли мне кто-нибудь, в каких учебниках на русском, кроме Непейводы, рассказывается о естественном выводе (natural deduction) и/или аналитических таблицах (tableaux)? В русском языке используются обычно такие переводы этих терминов или другие?

Этот же вопрос задал в [livejournal.com profile] ru_math.
alexey_rom: (Default)
SASyLF -- это система для автоматической проверки доказательств. Главное отличие от Twelf в том, что предназначен в первую очередь для обучения и соответственно синтаксис выглядит очень похоже на обычную натуральную дедукцию.

Пример (вот отсюда):


Profile

alexey_rom: (Default)
alexey_rom

April 2012

S M T W T F S
1 234567
89 1011121314
15161718192021
22232425262728
2930     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 24th, 2017 12:53 pm
Powered by Dreamwidth Studios