{"entities":{"Q1188922":{"pageid":1199671,"ns":120,"title":"Item:Q1188922","lastrevid":70233300,"modified":"2026-04-13T13:22:57Z","type":"item","id":"Q1188922","labels":{"en":{"language":"en","value":"Einf\u00fchrung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 49591"}},"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":"Q1188922$28DC20EC-8E0D-4506-B7ED-CEEE754A7646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc4a141b74b96cd528fa8e9875bd2a3f98972df","datavalue":{"value":{"text":"Einf\u00fchrung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1188922$06B942D8-FB9E-43F1-AA59-E04C82F04E67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0006d569f3df4094053af163b068adce4482da81","datavalue":{"value":"0726.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$543994B2-A575-4213-9849-2E50130069A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29295b78062d89208beb4b3a7a6a8caf799d0531","datavalue":{"value":{"entity-type":"item","numeric-id":915717,"id":"Q915717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188922$F12AA395-5138-4B63-8CE0-EF10C2E0F2FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"529abe3227038afcd857fe878e6e645f9eb8f240","datavalue":{"value":{"entity-type":"item","numeric-id":167293,"id":"Q167293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188922$A6847E4D-F215-4D09-99E8-1E273D61A288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1188922$31B24C3E-325B-47C7-A2E6-FA56BFFD57A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b07860def5b95a970257693e144c1473c18656d8","datavalue":{"value":"Dieses Buch gibt eine ausgezeichnete Einf\u00fchrung in die Entwicklung und Analyse von Algorithmen f\u00fcr Informatikstudenten des ersten Studienjahres. Statt auf einer konkreten Programmiersprache baut das Buch auf ``Konzept-'' Sprachen auf; so wird jeweils ein Prototyp einer funktionalen und einer imperativen Programmiersprache vorgestellt. Nach Definition grundlegender mathematischer Konzepte wie B\u00e4ume, Matrizen etc. werden Grundtechniken wie Induktion und Rekursion behandelt, sowie Syntaxdefinitionen mittels BNF. Es werden die Begriffe der Rechenstruktur und des abstrakten Datentyps eingef\u00fchrt. \u00dcber diesen Strukturen wird eine funktionale Sprache in 3 Stufen entwickelt: 1) Terme, 2) bedingte Terme (Fallunterscheidungen) und 3) Ausdr\u00fccke mit Rekursion. An dieser Sprache wird die Technik des rekursiven Programmierens demonstriert und auch induktionsbasierte Korrektheitsbeweise von Programmen gegeben (u.a. wird der Euklidische Algorithmus verifiziert). In dem darauf folgenden Kapitel wird ein ablauforientiertes Algorithmenkonzept durch Einf\u00fchrung einer einfachen imperativen Programmiersprache vorgestellt. Funktionale und imperative Algorithmennotationen werden verglichen und die Kombinierbarkeit und Terminations- sowie Korrektheitsbeweise f\u00fcr einfache Programme gegeben. Nach Entwicklung der Sprachen wird die Programmierung als Proze\u00df von der Spezifikation zur Codierung analysiert; dieser Proze\u00df der Algorithmenentwicklung wird an zahlreichen mathematischen Problemen (wie Berechnung einer Nullstelle durch Bisektion, Primzahltest, die T\u00fcrme von Hanoi etc.) anschaulich dargestellt. Weiter wird die Gewinnung von iterativen aus rekursiven Algorithmen (mit Hilfe von Kellern) vorgef\u00fchrt. Auch der Begriff des nondeterministischen Algorithmus wird kurz skizziert. Ein Kapitel des Buches ist dem Problem der Effizienz und Komplexit\u00e4t von Algorithmen gewidmet; hierbei werden Zeit- und Speicherkomplexit\u00e4t einfacher Algorithmen abgesch\u00e4tzt und die Landau'sche 0-Symbolik eingef\u00fchrt. Auch Suchalgorithmen, Backtracking und parallele Algorithmen finden hier Erw\u00e4hnung. Am Ende setzt dann das Buch den Schritt zur ``konkreten'' Programmiersprache MODULA-2, wobei die Erstellung von Programmen als nat\u00fcrliche Konsequenz der in den vorigen Kapiteln erarbeiteten Techniken und Konzepte pr\u00e4sentiert wird. Die schrittweise Aufschichtung von Grundtechniken und Grundbegriffen zum Programmieren in einer realen Programmiersprache ist didaktisch gekonnt und \u00fcberzeugend durchgef\u00fchrt. Ohne die Verwendung formaler, abstrakter Theorien (wie etwa die der denotationalen Semantik oder der algebraischen Spezifikation) werden dem Studenten doch die wesentlichen Grundeinsichten in Entwicklung, Effizienz und Korrektheit von Algorithmen vermittelt. Das Buch ist daher als Informatikeinf\u00fchrung ausdr\u00fccklich zu empfehlen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188922$62D02DF5-DEB5-4894-B866-C90E9AA98C0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$64BFF964-9D37-4901-93CF-3AE85D5E8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$3E134BD1-87FA-4A76-9B03-57CD61D51C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$B573598B-C41B-431B-BA1F-2F0C8BA95548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$72FD25E9-3CA1-4CAC-8771-6B1C96B9A237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c7c61dfc87352c8142a395cabee283fdd052db7","datavalue":{"value":"49591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1188922$20CEA40B-BE40-4192-9C13-6D3792D43090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188922$32BCB588-09CA-4675-80DD-CF6CD0CF1CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188922$7A42A1A6-134D-4D15-9A16-CBF5C90D1872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1188922$13EBEE28-5338-4B99-BE29-4245AEA1B7EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2131474b61f9492afe33179f8e943fe4605532de","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188922$D8D8049D-5151-4D9B-9943-225D67D68FD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640e4fd88a5f30a16111d1aae60fb5a8e06d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":13964,"id":"Q13964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1188922$9FB6FC50-5F6C-4270-B5C3-A9D8CB810E18","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":"Q1188922$B5FFCE63-8457-40C1-9AD1-78ADEADBCEC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a00fff788e0b543d68cd9a0ab039d76ef59ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3323223,"id":"Q3323223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb0d3f408ee17ccee34947abd4bf20bae915999","datavalue":{"value":{"amount":"+0.7931990623474121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1188922$2594A069-3320-4D99-B4E4-779C50A6768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015601db60732d94b255f00d222d42dcfd75aad0","datavalue":{"value":{"entity-type":"item","numeric-id":4346196,"id":"Q4346196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde8b61bf3763b9526487738d245fe32858c1e91","datavalue":{"value":{"amount":"+0.7825842499732971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1188922$4ECAF9F7-14BB-48C9-A7F8-9BB0F4C94C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992a3b8b7f5befebaca0bed8d6241ba481173349","datavalue":{"value":{"entity-type":"item","numeric-id":3815507,"id":"Q3815507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3566d67c52bbbedf38c1f93927c3b0b0565427f6","datavalue":{"value":{"amount":"+0.7752258777618408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1188922$EAE522A0-C942-45E4-BDFC-0046C67D31D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b39ce603938f9650fa3cea46adba6cec44dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4023840,"id":"Q4023840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c617596c53304414882cafc56b9ecef63ba3de","datavalue":{"value":{"amount":"+0.7635672688484192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1188922$C266C234-3582-4F7B-9FA0-3803ABFA73D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Einf\u00fchrung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Einf%C3%BChrung_in_die_Informatik._Algorithmenentwicklung._(Introduction_into_computer_science._Development_of_algorithms.)"}}}}}