Logo Fachportal Pädagogik -Deutscher BildungsserverDeutscher BildungsberichtBildung in DeutschlandHistorische Bildungsforschung online Deutsches Institut für Internationale Pädagogische Forschung
grün und orangener Balken 1   grün und orangener Balken 3
Logo FIS

FIS Bildung Literaturdatenbank - Vollanzeige

Autor: Krauskopf, Rainer
Titel: LOGIK als Programmiersprache.
Quelle: In: Der mathematische und naturwissenschaftliche Unterricht, 40 (1987) 4, S. 195-202
   Zusatzinformationen zur Zeitschrift anzeigen     Pfeil auf den Link... Verfügbarkeit 
Sprache: deutsch
Dokumenttyp: gedruckt; Zeitschriftenaufsatz
ISSN: 0025-5866
Schlagwörter: Problemlösen; Sachinformation; Programmierungstechnik; Informatik; Programmiersprache; Mathematische Logik; Prolog
Abstract: Eroertert und an Beispielen gezeigt wird, wie mathematische Logik als Grundlage fuer das Programmieren von Computern verwendet werden kann. Es wird die Sprache der HORN-Klausel-Logik benutzt. Es wird darauf hingewiesen, dass insbesondere die Computer- Programmiersprache PROLOG entsprechendes logisches Programmieren erlaubt. In PROLOG ist sowohl ein deklarativer als auch ein prozeduraler Programmierstil moeglich. Dies wird an sieben Beispielen dargestellt: groesster gemeinsamer Teiler, symbolische Differentiation, Loesung algebraischer Gleichungen, Umfuellproblem u. a. Abschliessend wird die Eignung des logischen Programmierens fuer die Schule eroertert.
Erfasst von: Hessisches Landesinstitut für Pädagogik, Wiesbaden
Update: 1998_(CD); 2001/1
Verfügbarkeit: Literaturbeschaffung und Bestandsnachweise in Bibliotheken

Standortgebundene Dienste

Wählen Sie eine Institution, um dort die Verfügbarkeit zu prüfen:  


Standortunabhängige Dienste
Bibliotheken, die die Zeitschrift "Der mathematische und naturwissenschaftliche Unterricht" besitzen:
Link zur Zeitschriftendatenbank (ZDB)

Artikellieferdienst der deutschen Bibliotheken (subito):
Übernahme der Daten in das subito-Bestellformular


Tipps zum Auffinden elektronischer Volltexte als Video-Tutorial


Nachweis posten:

 

Nachweis merken:

 
  

Nachweis exportieren:

 


im gewählten Format an:

Permalink als QR-Code: