Verwandte Artikel zu Logic, Language, Formalism, Informalism
Inhaltsangabe
This text analyzes and explains the process of formalization in computing and should be useful for students of computer science and software engineering. It sets out to explain proof and reasoning in a clear manner and is based on the premise that computing students require an understanding of the reasoning systems that underpin much computing theory. In examining the process of formalization, the book also criticizes and challenges the results, helping students to clearly understand these fundamental issues. The language, Prolog is used to explain the concepts.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Daniel Richardson is a lecturer in the School of Mathematical Sciences at the University of Bath.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 20,17
EUR 4,52 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Logic, Language, Formalism, Informalism
Beispielbild für diese ISBN
Logic, Language, Formalism, Informalism
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-C-090-02607
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic, Language, Formalism, Informalism
Verlag:
Bloomsbury Publishing Plc, 1995
ISBN 10: 1850321272
ISBN 13: 9781850321279
Gebraucht
Softcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers 53229369-20
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic, Language, Formalism, Informalism
Anbieter: La bataille des livres, Pradinas, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Très bon. Logic, Language, Formalism, Informalism | D. Richardson | Thompson computer press, 1995. In-8° broché, 246 pages. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [NM53]. Bestandsnummer des Verkäufers P3-5WMW-GLQX
Anzahl: 1 verfügbar