Logic And Language Models For Computer Science (Third Edition) 1
bokomslag Logic And Language Models For Computer Science (Third Edition)
Data & IT

Logic And Language Models For Computer Science (Third Edition)

Dana Richards • Henry Hamburger

Inbunden

1869:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 468 sidor
  • 2017
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
  • Författare: Dana Richards, Henry Hamburger
  • Format: Inbunden
  • ISBN: 9789813229204
  • Språk: Engelska
  • Antal sidor: 468
  • Utgivningsdatum: 2017-10-24
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. bokomslag Logic And Language Models For Computer Science (Third Edition)

    Logic And Language Models For Compute...

    Henry Hamburger Dana Richards

    Pocket

    1139:-
  2. bokomslag Logic And Language Models For Computer Science (Fourth Edition)

    Logic And Language Models For Compute...

    Henry Hamburger Dana Richards

    Inbunden

    2349:-
  3. bokomslag Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism

    Dear Martin / Dear Marcello: Gardner ...

    Dana Richards

    Pocket

    939:-
  4. bokomslag The Bibliography of Martin Gardner

    The Bibliography of Martin Gardner

    Dana Richards

    Häftad

    879:-
  5. bokomslag Two Years Before the Mast

    Two Years Before the Mast

    Jr Dana Richard Henry

    Pocket

    709:-
  6. bokomslag Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism

    Dear Martin / Dear Marcello: Gardner ...

    Dana Richards

    Inbunden

    1589:-
  7. bokomslag To Cuba and Back

    To Cuba and Back

    Dana Richard Henry

    Inbunden

    539:-
  8. bokomslag The Trent Affair, an Aftermath

    The Trent Affair, an Aftermath

    Dana Richard Henry

    Inbunden

    469:-
  9. bokomslag To Cuba and Back

    To Cuba and Back

    Dana Richard Henry

    Pocket

    369:-
  10. bokomslag Speeches in Stirring Times and Letters to a Son

    Speeches in Stirring Times and Letter...

    Dana Richard Henry

    Inbunden

    639:-

Andra av samma författare

  1. bokomslag The Colossal Book of Short Puzzles and Problems

    The Colossal Book of Short Puzzles an...

    Dana Richards Martin Gardner

    Inbunden

    469:-
  2. bokomslag The Bibliography of Martin Gardner

    The Bibliography of Martin Gardner

    Dana Richards

    Häftad

    879:-
  3. bokomslag Logic And Language Models For Computer Science (Fourth Edition)

    Logic And Language Models For Compute...

    Henry Hamburger Dana Richards

    Inbunden

    2349:-
  4. bokomslag Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism

    Dear Martin / Dear Marcello: Gardner ...

    Dana Richards

    Inbunden

    1589:-
  5. bokomslag Dear Martin / Dear Marcello: Gardner And Truzzi On Skepticism

    Dear Martin / Dear Marcello: Gardner ...

    Dana Richards

    Pocket

    939:-