{"entities":{"Q4942604":{"pageid":6972186,"ns":120,"title":"Item:Q4942604","lastrevid":108559580,"modified":"2026-11-06T23:48:21Z","type":"item","id":"Q4942604","labels":{"en":{"language":"en","value":"Discrete mathematics using a computer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1414261"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942604$DCEEE88A-6F69-4753-9496-AEA7DE6B5874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7034cd3d8200e1a6b60232b710982b49bb1547da","datavalue":{"value":"0953.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942604$69FE77DC-BD4F-45AB-8C98-B95C1D766923","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6e5911703e065b1098061e925b744ef9ebb2fcd","datavalue":{"value":{"entity-type":"item","numeric-id":1822932,"id":"Q1822932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942604$46AA8C1C-1C05-43A0-91D3-F52652BCD2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d6e6240e41574958605a142f6c4bbe59105d816","datavalue":{"value":{"entity-type":"item","numeric-id":2763394,"id":"Q2763394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942604$EA54A599-9A7A-4D46-B53C-4787F1664C1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b684bc0c1bf9828765a5e11d200749aed4807a2a","datavalue":{"value":{"time":"+2000-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4942604$2F1F2159-6819-4631-BCEC-562353235DEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942604$098ECC70-FBF7-4590-9A96-5CD0EAC71FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942604$554C38D6-3FE1-4A3C-8C52-67E3D9CCA262","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2c0213b79b795bbc4b77d7ab96b7f4ab2521e8","datavalue":{"value":"1414261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4942604$22A2F2DB-20D6-4639-998C-930528009A1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40cd831f0edfd206625b06ee83ccd05bacbcf0b","datavalue":{"value":"discrete mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942604$CC598F45-E4F8-4DAB-B2A5-E0945999918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942604$11C827BA-E932-4CEE-9426-7EE3DCE44254","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4942604$E5D5E0A1-E56E-438D-998D-2D402595AE74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629a8b9bde168d9db729b130c68f748fe6cb1f12","datavalue":{"value":{"entity-type":"item","numeric-id":5201286,"id":"Q5201286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b848e07a611ce387d0e9a1a0f649da62902178d","datavalue":{"value":{"amount":"+0.9670168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$6F6D6927-BA9E-48FA-B2FE-E2FD1AE9C085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca248d93e77880c27d35ed7cd3166ce214d3bb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4003440,"id":"Q4003440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30e9036efee889769e20bd885e2dc05d1f0d1a3","datavalue":{"value":{"amount":"+0.9379623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$E6BA30F3-7C4A-473E-B699-8C0075B58042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5729bd98f6fd8389fd7a2ed7ddb37608fadc8d","datavalue":{"value":{"entity-type":"item","numeric-id":4679157,"id":"Q4679157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30e9036efee889769e20bd885e2dc05d1f0d1a3","datavalue":{"value":{"amount":"+0.9379623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$BD83FDEC-174D-4313-BEE9-D30C9620D918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0c60c75c7716b4bf920fd1fd9b0392815e7054","datavalue":{"value":{"entity-type":"item","numeric-id":3816985,"id":"Q3816985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ff60acd733227505798b4619c13e8b6358e56c","datavalue":{"value":{"amount":"+0.92252576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$B48739FC-2526-4C97-B8DA-4F6E3CE9B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b2f5968b868cde167921df1443dd9c3249c1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3066765,"id":"Q3066765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b5401dfcff15a0cf825eb27e6f4116226b7247","datavalue":{"value":{"amount":"+0.9208934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$DA7C1D9D-CAEA-4799-83F5-0D97F200C01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adb6957e05875f15835006cd1b5c0a509ddb74b","datavalue":{"value":{"entity-type":"item","numeric-id":5896115,"id":"Q5896115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b5401dfcff15a0cf825eb27e6f4116226b7247","datavalue":{"value":{"amount":"+0.9208934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4942604$BFFBBB69-605A-401A-B686-77B7C3776C4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d58573e740b66e6db87f58acf962877840ba20d","datavalue":{"value":{"text":"Discrete mathematics using a computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4942604$322315E7-0EBD-4242-92A6-D5AEBA6B5635","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffb76e21d4f379202625039227e0de16591e6897","datavalue":{"value":"Das Buch gibt eine Einf\u00fchrung in Grundlagen der diskreten Mathematik. Behandelt werden: Aussagenlogik (Kap. II), Anfangsgr\u00fcnde der Pr\u00e4dikatenlogik (Kap. III), Mengentheorie (Kap. IV), Rekursion (Kap. V), Induktiv definierte Mengen (Kap. VI), Vollst\u00e4ndige Induktion (Kap. VII), Relationen (Kap. VIII), Funktionen (Kap. IX). Dabei wird der Stoff im allgemeinen sehr ausf\u00fchrlich (manchmal auch zu ausf\u00fchrlich) dargestellt. Die Besonderheit des Buches ist es nun, dem Lernenden zu erm\u00f6glichen, mit den eingef\u00fchrten Objekten (Mengen, Relationen, Funktionen etc.) auch am Computer zu rechnen. Dazu kann man sich Software \u00fcber das Internet holen und zwar eine Implementation der funktionalen Sprache Haskell und eine Bibliothek, in der weitere Software-Tools bereitgestellt werden (z.B. ein Beweis-Checker). In den einzelnen Kapiteln wird dann auch jeweils auf die Arbeit mit dieser Software eingegangen. Kapitel I gibt eine Einf\u00fchrung in Haskell; im Kapitel X wird noch als eine Anwendung der Entwurf eines Volladdierers behandelt. Jedes Kapitel enth\u00e4lt zahlreiche \u00dcbungsaufgaben; f\u00fcr ausgew\u00e4hlte Aufgaben sind die L\u00f6sungen in einem Anhang angegeben. Ferner sind am Ende jedes Kapitels Verweise auf weiterf\u00fchrende Literatur aufgelistet. Ein Leser, der dieses Buch intensiv nutzt, lernt neben dem mathematischen Inhalt auch in gewissem Umfang das funktionale Programmieren.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4942604$88619458-703B-4E89-9360-00D3728CDB9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete mathematics using a computer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_mathematics_using_a_computer"}}}}}