Il testo Sfidare l’Indecidibile mira a fornire al lettore un solido quadro teorico relativo alle principali tecniche di ragionamento automatico (per i linguaggi elementari con identità) su cui sono basati i dimostratori automatici ad alte prestazioni dei nostri giorni. Gli argomenti affrontati spaziano dai vincoli di ordinamento, al calcolo delle sovrapposizioni, agli algoritmi di Knuth-Bendix. Senza richiedere particolari requisiti di logica, il testo mira a fornire una sintesi puntuale ma compatta di contributi della recente letteratura internazionale sull’argomento e si propone anche come prima guida (all’interno di corsi universitari) per adeguate attività di laboratorio.
Book pdf Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità leggere online libro
Leggere online libro Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.