Automated Theorem Proving

af


Automated Theorem Proving
  • Leveringstid 5-7 hverdage
  • Forventet levering 26-11-2019
Format:
Bog, paperback
Udgivelsesdato:
01-01-1982
Sprog:
Tysk
Udgave:
1982 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

Among the dreams of mankind is the one dealing with the mecha- nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredible advances in computer technology let it appear as a real possibility. Of course, it is not easy to say what sort of thing human thinking actually is, a theme which over the centuries occupied many thinkers, mainly philosophers. From a critical point of view most of their theories were of a speculative nature since their only way of testing was by Gedanken-experi- ments. It is the computer which has opened here a wide range of new possibilities since with this tool we now can model real experiments and thus test such theories like physicists do in their field. About a quarter of a century ago, scientific activi- ties of that sort were started under the label of artificial intelligence Today these activities establish a wide and prosperous field which the author, in lack of any better name, prefers to call intellectics. Without any doubt, the com- puter programs developed in this field have tought us much about the nature of human thinking.

Andre udgaver:

Bog, hæftet
E-bog, PDF

Vis mereVis mindre

Udgivelsesdato:
01-01-1982
ISBN13:
9783528085209
Vægt:
500 g
Dybde:
16 mm
Bredde:
170 mm
Højde:
244 mm
Format:
Paperback
  • Forfattere

  • Bibliotekernes beskrivelse

    black & white illustrations

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.