Μετάβαση στο περιεχόμενο
  • Γλώσσα
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
Σύνθετη
  • Computability & unsolvability.
  • Περιγραφή
  • Εμφάνιση παραπομπής
  • Αποστολή με SMS
  • Αποστολή με email
  • Αποθήκευση
    • Αποθήκευση σε RefWorks
    • Αποθήκευση σε EndNoteWeb
    • Αποθήκευση σε EndNote
Εξώφυλλο

Computability & unsolvability.

Κύριος συγγραφέας: Davis, Martin
Συγγραφή απο Οργανισμό/Αρχή: Dover Publications
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York: Dover, 1982
Σειρά:McGraw-Hill series in information processing and computers
Θέματα:
Mathematics
Logic
Computation
Computer science
Machines
Mathematical analysis
Computer programming languages
Computer programs
Computers
Recursive functions
Unsolvability (Mathematical logic)
Computable functions
  • Τεκμήρια
  • Περιγραφή
  • Παρόμοια τεκμήρια
  • Λεπτομερής προβολή

Παρόμοια τεκμήρια

  • Computability, enumerability, unsolvability directions in recursion theory /
    Έκδοση: (1996)
  • A mathematical introduction to logic /
    ανά: Enderton, Herbert B.
    Έκδοση: (1972)
  • A recursive introduction to the theory of computation.
    ανά: Smith, Carl
    Έκδοση: (1994)
  • Computability : an introduction to recursive function theory.
    ανά: Cutland, Nigel J.
    Έκδοση: (1980)
  • Discrete mathematics for computer scientists.
    ανά: Truss, John
    Έκδοση: (1991)

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
  • Ερώτηση σε βιβλιοθηκονόμο
Φορτώνει......
Cannot write session to /tmp/vufind_sessions/sess_qri3sfpmpqgts31c7om7mcvsb7