Domain cekom-deutschland.de kaufen?
Wir ziehen mit dem Projekt
cekom-deutschland.de um.
Sind Sie am Kauf der Domain
cekom-deutschland.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain cekom-deutschland.de kaufen?
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex Page
Eine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.
63,59 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Essential-Logic-for-Computer
Top-Angebote
Produkte zum Begriff Essential-Logic-for-Computer:
-
CoreParts Electric Screwdriver for, Computer WerkzeugDer CoreParts MOBX-TOOLS-075 ist ein elektrischer Präzisionsschraubendreher, der für Reparatur- und Wartungsarbeiten an elektronischen Geräten konzipiert wurde. Dieses kompakte Werkzeug misst 173 mm in der Länge mit einem schlanken Durchmesserprofil von 15,8 mm und wiegt 700 g für komfortable Handhabung bei längerer Nutzung. Der Schraubendreher arbeitet mit einer Leerlaufdrehzahl von 200 U/min und einem maximalen elektrischen Drehmoment von 0,15 Nm, was eine kontrollierte Antriebskraft für empfindliche elektronische Komponenten bietet. Das integrierte Batteriesystem bietet eine Leerlaufarbeitszeit von 2 Stunden mit einem 40-minütigen Ladezyklus für effizientes Arbeitsablaufmanagement. Dieses umfassende Werkzeugsortiment umfasst 56 Präzisionsbits, die mehrere Schraubenkopftypen abdecken: Phillips-Grössen PH0000 bis PH2, Schlitzgrössen SL1,0 bis SL4,0, Sechskantgrössen H0,7 bis H4,0, Torx-Grössen T2 bis T20, Pentalobe-Grössen P2 bis P6 sowie Tri-Wing-, U-Typ-, Vierkant-, Dreieck- und spezielle Y-Typ-Bits. Zusätzliche Zubehörteile beinhalten 45 mm verlängerte Bits für PH0-, PH2-, SL2,0- und H2,0-Anwendungen, eine magnetische Positionierplatte mit den Massen 8,5 x 21,6 cm für sichere Komponentenplatzierung, einen Magnetisierer-Entmagnetisierer für die Bit-Magnetisierungskontrolle, eine Saugglocke mit 2,6 cm Durchmesser für Bildschirmentfernung, eine Demontageplatte für Hebeloperationen und eine Düsenreinigungsnadel. Das komplette Paket wiegt 850 g und ist in einer 22 x 6 x 6 cm grossen Aufbewahrungsbox mit Organisationsfach untergebracht, die alle Komponenten geschützt und zugänglich hält. Das ausgewogene Design und die umfassende Bit-Auswahl machen das Werkzeug geeignet für Wartungsarbeiten an Smartphones, Tablets, Laptops und kleinen elektronischen Geräten, die Präzision und kontrollierte Drehmomentanwendung erfordern.116,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Essential-Logic-for-Computer:
-
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex PageEine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.63,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Essential-Logic-for-Computer
-
CoreParts Electric Screwdriver for, Computer WerkzeugDer CoreParts MOBX-TOOLS-075 ist ein elektrischer Präzisionsschraubendreher, der für Reparatur- und Wartungsarbeiten an elektronischen Geräten konzipiert wurde. Dieses kompakte Werkzeug misst 173 mm in der Länge mit einem schlanken Durchmesserprofil von 15,8 mm und wiegt 700 g für komfortable Handhabung bei längerer Nutzung. Der Schraubendreher arbeitet mit einer Leerlaufdrehzahl von 200 U/min und einem maximalen elektrischen Drehmoment von 0,15 Nm, was eine kontrollierte Antriebskraft für empfindliche elektronische Komponenten bietet. Das integrierte Batteriesystem bietet eine Leerlaufarbeitszeit von 2 Stunden mit einem 40-minütigen Ladezyklus für effizientes Arbeitsablaufmanagement. Dieses umfassende Werkzeugsortiment umfasst 56 Präzisionsbits, die mehrere Schraubenkopftypen abdecken: Phillips-Grössen PH0000 bis PH2, Schlitzgrössen SL1,0 bis SL4,0, Sechskantgrössen H0,7 bis H4,0, Torx-Grössen T2 bis T20, Pentalobe-Grössen P2 bis P6 sowie Tri-Wing-, U-Typ-, Vierkant-, Dreieck- und spezielle Y-Typ-Bits. Zusätzliche Zubehörteile beinhalten 45 mm verlängerte Bits für PH0-, PH2-, SL2,0- und H2,0-Anwendungen, eine magnetische Positionierplatte mit den Massen 8,5 x 21,6 cm für sichere Komponentenplatzierung, einen Magnetisierer-Entmagnetisierer für die Bit-Magnetisierungskontrolle, eine Saugglocke mit 2,6 cm Durchmesser für Bildschirmentfernung, eine Demontageplatte für Hebeloperationen und eine Düsenreinigungsnadel. Das komplette Paket wiegt 850 g und ist in einer 22 x 6 x 6 cm grossen Aufbewahrungsbox mit Organisationsfach untergebracht, die alle Komponenten geschützt und zugänglich hält. Das ausgewogene Design und die umfassende Bit-Auswahl machen das Werkzeug geeignet für Wartungsarbeiten an Smartphones, Tablets, Laptops und kleinen elektronischen Geräten, die Präzision und kontrollierte Drehmomentanwendung erfordern.116,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.