Biblioteca Universității din Pitești

  • Inexistenţa algoritmilor de recunoaştere a expresibilităţii sintactice în calcule logice
  • Tipul înregistrării: Text tipărit: monografic
    Autor: Raţă, Mefodie (1935-2013 )
    Altele: Georgescu, Adelina
    Editor: Popa, Nicolae, inginer
    Altele: Georgescu, Adelina
    Responsabilitate: Metodie Raţă
    Editura: The Flower Power
    Locul publicării: Piteşti
    Anul Ediției: 2004
    ISBN: 973-86901-2-9
    Descriere: 106 p.; 21 cm.
    Note: Bibliogr. la p. 97-106
    Limba: Română
    Serie: Matematică aplicată şi industrială
    Subiect: Matematică
    Subiect: Algoritmi
    Subiect: Funcţii calculabile
    Clasificare: 510.5
    Cota topografică: 51 / R 29
    Note conţinut (cuprins): Cap. 1. Indecidabilitatea algoritmică a problemei expresibiliţii sintactice în logici modale. - p. 16
    Note conţinut (cuprins): Cap. 2. Reducerea formală a problemei generale a expresibilităţii sintactice a formulelor în logica demonstrabilă Gödel-Löb. - p. 83
Unităţi
Număr inventar Nume localizare Clasă unitate Tip material Cota Clasă utilizare Situaţie împrumut Rezervări Număr Volum Note Fişiere ataşate  
203171
Sală de lectură corp I
Consultare la sala de lectură
Carte tipărită
51 / R 29
1.Normal
La raft
0
203172
Împrumut Corp I
Împrumut - 15 zile
Carte tipărită
51 / R 29
1.Normal
La raft
0
Evaluări
Exportă
Filiala de unde se ridică
Vă rugăm să schimbaţi parola