This text provides a practical, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to computer science including logic, set theory, modern algebra (group theory), graph theory and combinatorics, whilst taking into account the diverse mathematical background of the students taking the course. In line with current undergraduate curricula this book uses logic extensively, together with set theory, in mathematical specification of software. Languages such as Z and VDM are used for this purpose.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
This text provides a practical, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to computer science including logic, set theory, modern algebra (group theory), graph theory and combinatorics, whilst taking into account the diverse mathematical background of the students taking the course. In line with current undergraduate curricula this book uses logic extensively, together with set theory, in mathematical specification of software. Languages such as Z and VDM are used for this purpose.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Wonder Book, Frederick, MD, USA
Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Artikel-Nr. N05A-04771
Anzahl: 1 verfügbar
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 1st. Used book that is in clean, average condition without any missing pages. Artikel-Nr. 4283647-6
Anzahl: 1 verfügbar
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0201179571I5N00
Anzahl: 1 verfügbar
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0201179571I3N00
Anzahl: 1 verfügbar
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. This text provides a practical, modern approach to teaching logic and set theory, equipping students with the necessary mathematical understanding and skills required for the mathematical specification of software. It covers all the areas of mathematics that are considered essential to computer science including logic, set theory, modern algebra (group theory), graph theory and combinatorics, whilst taking into account the diverse mathematical background of the students taking the course. In line with current undergraduate curricula this book uses logic extensively, together with set theory, in mathematical specification of software. Languages such as Z and VDM are used for this purpose. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR002769412
Anzahl: 2 verfügbar