Cambridge Univ Pr Computability and Logic

Descrierea produsului

„Calculabilitate și Logică” a devenit o lucrare clasică datorită accesibilității sale pentru studenții fără cunoștințe matematice și pentru că acoperă nu doar subiectele de bază ale unui curs intermediar de logică, cum ar fi teoremele de incompletitudine ale lui Gödel, ci și un număr mare de subiecte opționale, de la teoria computabilității a lui Turing până la teorema lui Ramsey

Incluzând o selecție de exerciții, ajustate pentru această ediție, la sfârșitul fiecărui capitol, oferă un tratament nou și mai simplu al reprezentării funcțiilor recursive, un obstacol tradițional pentru studenți în drumul spre teoremele de incompletitudine ale lui Gödel.

Informații suplimentare

• Detaliile responsabilului UE sunt aici.
• Se pot comanda maximum 15 (de) unități din acest produs. Trendyol își rezervă dreptul de a anula comenzile cu mai mult de 15 unitate/unități.
• Vândut de
  Karte
  .
• Cod de bare nr.: 963108