Canonical Equational Proofs (Progress in Theoretical Computer Science)
7 Angebote vergleichen
Bester Preis: Fr. 11.44 (€ 11.70)¹ (vom 31.01.2016)1
Fernsehkultur - Subjektivitat in einer Welt bewegter Bilder
DE NW EB DLISBN: 9783322970756 bzw. 3322970752, in Deutsch, VS Verlag Fur Sozialwissenschaften, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Fernsehkultur: Wie hat Fernsehen unsere Kultur gepragt Am Ubergang vom Fernsehen zu Multimedia untersucht der Band unsere Fernsehkultur als die Uberlagerung von Fernsehen und Alltagsleben (z. B. das Ereignis- und Medienarrangement "e Streetball"e ), stellt die Frage nach dafur typischen Erlebnisweisen - die personliche Welt als Mastab - und ordnet Veranderungen z. B. von Mannerbildern in kulturhistorische Entwicklungslinien ein. Was ist typisch fur Fernsehkultur In individuellen Prozessen der Bedeutungskonstitution entstehen soziale Raume, Bilderwelten spiegeln mimetisch individuelle Themen, Medienkommunikation als Alltagsbewaltigung geht in alltagsasthetische Inszenierungen von Szenen und Fan-Gruppen uber, und das Automobil findet in Verdichtung und textuellem Schein seine kulturelle Fortsetzung."e (...) Die Arbeit Bachmairs trgt kompetent und kritisch dazu bei, am Beispiel des Fernsehens den komplexen Zusammenhang von Medien und Kultur besser verstehen zu lernen."e Rundfunk und Fernsehen 2/97, Ebook.
Fernsehkultur: Wie hat Fernsehen unsere Kultur gepragt Am Ubergang vom Fernsehen zu Multimedia untersucht der Band unsere Fernsehkultur als die Uberlagerung von Fernsehen und Alltagsleben (z. B. das Ereignis- und Medienarrangement "e Streetball"e ), stellt die Frage nach dafur typischen Erlebnisweisen - die personliche Welt als Mastab - und ordnet Veranderungen z. B. von Mannerbildern in kulturhistorische Entwicklungslinien ein. Was ist typisch fur Fernsehkultur In individuellen Prozessen der Bedeutungskonstitution entstehen soziale Raume, Bilderwelten spiegeln mimetisch individuelle Themen, Medienkommunikation als Alltagsbewaltigung geht in alltagsasthetische Inszenierungen von Szenen und Fan-Gruppen uber, und das Automobil findet in Verdichtung und textuellem Schein seine kulturelle Fortsetzung."e (...) Die Arbeit Bachmairs trgt kompetent und kritisch dazu bei, am Beispiel des Fernsehens den komplexen Zusammenhang von Medien und Kultur besser verstehen zu lernen."e Rundfunk und Fernsehen 2/97, Ebook.
2
Canonical Equational Proofs (Progress in Theoretical Computer Science) (1991)
EN PB NWISBN: 9780817635558 bzw. 0817635556, in Englisch, 138 Seiten, Birkhäuser, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, smeikalbooks_london.
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems. Paperback, Ausgabe: Softcover reprint of the original 1st ed. 1991, Label: Birkhäuser, Birkhäuser, Produktgruppe: Book, Publiziert: 1991-06-01, Freigegeben: 2013-10-04, Studio: Birkhäuser, Verkaufsrang: 7362357.
Von Händler/Antiquariat, smeikalbooks_london.
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems. Paperback, Ausgabe: Softcover reprint of the original 1st ed. 1991, Label: Birkhäuser, Birkhäuser, Produktgruppe: Book, Publiziert: 1991-06-01, Freigegeben: 2013-10-04, Studio: Birkhäuser, Verkaufsrang: 7362357.
3
Canonical Equational Proofs (Progress in Theoretical Computer Science) (1991)
EN PB USISBN: 9780817635558 bzw. 0817635556, in Englisch, 138 Seiten, Birkhäuser, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, fanabba.
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems. Paperback, Ausgabe: Softcover reprint of the original 1st ed. 1991, Label: Birkhäuser, Birkhäuser, Produktgruppe: Book, Publiziert: 1991-06-01, Freigegeben: 2013-10-04, Studio: Birkhäuser, Verkaufsrang: 7362357.
Von Händler/Antiquariat, fanabba.
Equations occur in many computer applications, such as symbolic compu tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems. Paperback, Ausgabe: Softcover reprint of the original 1st ed. 1991, Label: Birkhäuser, Birkhäuser, Produktgruppe: Book, Publiziert: 1991-06-01, Freigegeben: 2013-10-04, Studio: Birkhäuser, Verkaufsrang: 7362357.
5
Fernsehkultur
~DE NW EB DLISBN: 9783322970756 bzw. 3322970752, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
Dr. Ben Bachmair ist Professor für Erziehungswissenschaft und Medienpädagogik an der Universität Kassel. eBook.
Dr. Ben Bachmair ist Professor für Erziehungswissenschaft und Medienpädagogik an der Universität Kassel. eBook.
6
Fernsehkultur
DE NW EBISBN: 9783322970756 bzw. 3322970752, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…