Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) - Tapa blanda
Libro 1 de 8: Studienbücher Informatik
Sinopsis
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.
De la contraportada
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Inhalt
Aussagenlogik - Prädikatenlogik - SLD-Kalkül - Modale Logik - Temporale Logik - Epistemische Logik - Deontische Logik - Nichtmonotone Logik - Default-Logik
Zielgruppe
Studierende der Informatik
Autor
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logikkalküle in der Informatik: Wie wird Logik vom...
Imagen del vendedor
Logikkalkule in Der Informatik : Wie Wird Logik Vom Rechner Genutzt? -Language: german
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19748400-n
Comprar nuevo
EUR 31,24
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logikkalkle in der Informatik (Paperback)
Publicado por
Springer Fachmedien Wiesbaden, Weisbaden, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. Im Mittelpunkt steht das Spannungsverhaeltnis zwischen einerseits dem herkoemmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuels, also zwischen Semantik und Syntax. Wie dieser Graben ueberwunden wird, wird fuer verschiedene auch nicht-klassische Logiken vorgefuehrt: Praedikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfuehrende UEbersicht ueber Logiken gegeben, die an manchen Stellen der Informatik benoetigt werden, zu deren Verstaendnis man sich aber kein ganzes spezielles Buch anschaffen moechte. Das Buch enthaelt einen einheitlichen Ansatz fuer verschiedene Logiken. Im Mittelpunkt steht das Spannungsverhaeltnis zwischen einerseits dem herkoemmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuels, also zwischen Semantik und Syntax. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783834818874
Comprar nuevo
EUR 33,59
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) (German Edition)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783834818874
Comprar nuevo
EUR 33,69
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logikkalkule in Der Informatik : Wie Wird Logik Vom Rechner Genutzt? -Language: german
Publicado por
Springer Vieweg, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 19748400
Comprar usado
EUR 33,41
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logikkalkule in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
Publicado por
Vieweg + Teubner Verlag, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 250 pages. German language. 9.50x6.50x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __3834818879
Comprar nuevo
EUR 28,95
Envío por EUR 11,55
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logikkalk�le in Der Informatik: Wie Wird Logik Vom Rechner Genutzt? (Paperback or Softback)
Publicado por
Springer Vieweg 1/10/2014, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Logikkalk�le in Der Informatik: Wie Wird Logik Vom Rechner Genutzt? Book. Nº de ref. del artículo: BBS-9783834818874
Comprar nuevo
EUR 47,51
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Logikkalk?le in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienb?cher Informatik) (German Edition)
Publicado por
Westdeutscher Verlag GmbH, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xii + 232. Nº de ref. del artículo: 2697340976
Comprar nuevo
EUR 45,88
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logikkalk?le in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienb?cher Informatik) (German Edition)
Publicado por
Westdeutscher Verlag GmbH, 2014
ISBN 10: 3834818879
ISBN 13: 9783834818874
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. xii + 232. Nº de ref. del artículo: 96137711
Comprar nuevo
EUR 41,97
Envío por EUR 7,51
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) (German Edition)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In German. Nº de ref. del artículo: ria9783834818874_new
Comprar nuevo
EUR 36,06
Envío por EUR 13,83
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logikkalkule in Der Informatik : Wie Wird Logik Vom Rechner Genutzt? -Language: german
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19748400-n
Comprar nuevo
EUR 34,87
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles