Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-07-02
> findR *
Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrücke läßt sich durch die Übersetzung in formale Logiksprachen und deren Verhältnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Natürliche Sprache' bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren und führt kapitelweise von der elementaren Mengenlehre über Aussagen- und Prädikatenlogik, Typentheorie, Lambda-Kalkül, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden für den Seminarunterricht.
Aktualisiert: 2023-07-02
> findR *
Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrücke läßt sich durch die Übersetzung in formale Logiksprachen und deren Verhältnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Natürliche Sprache' bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren und führt kapitelweise von der elementaren Mengenlehre über Aussagen- und Prädikatenlogik, Typentheorie, Lambda-Kalkül, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden für den Seminarunterricht.
Aktualisiert: 2023-07-02
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-29
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-29
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-28
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-28
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-28
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-20
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-13
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-08
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-02
> findR *
Mathematisches Denken wird bereichsübergreifend von Formen der Imagination und inneren Anschauung begleitet. Situationen des Problemlösens zeigen, dass subjektiv generierte Objektvorstellungen formalsprachlichen Sachverhaltsdarstellungen oft konzeptbildend vorausgehen. Besondere Stellenwerte mentaler Bilder werfen in Kontexten mathematischer Theorieentwicklung methodologische Fragen auf.
Klassische, u.a. durch J. Bruner entwickelte Darstellungsmodelle, die symbolische, ikonische und enaktive Repräsentationsmodalitäten voneinander unterscheiden, werden durch Konzepte einer „empirischen Semantik“ verfeinert und methodologischen Detailanalysen zugänglich gemacht. Anwendungen können u.a. für Bereiche der Zahlentheorie, Elementargeometrie und Prädikatenlogik benannt werden.
Methodologisch bedeutsam sind Möglichkeiten einer präzisen Bestimmung nichtsprachlicher Bezugsobjekte und sie betreffender Transformationen, die fachpraktisch zumeist „naiv“ Berücksichtigung finden und fachspezifische Standards setzen. Im Sinnzusammenhang stehen Aspekte einer möglichen Konventionalität mathematischer Handlungsvorgänge, die eine Revision klassischer Ansätze eines fachwissenschaftlichen Selbstverständnisses nahelegen.
Die Allgemeinheit der dargestellten Konzepte kann zu einer bereichsübergreifenden Methodenabstimmung und Koordination praktisch relevanter Fachinhalte beitragen. Die Verwendung ordnender, regulierender Begriffssysteme lässt zwischen verschiedenen Anwendungskontexten natürliche Querbezüge entstehen. Praktisch bedeutsam sind Elemente einer fachwissenschaftlichen Metakognition, die als Ankerpunkte situations- und kontextadäquaten Verhaltens individuelle Kompetenzbasen effektiv fördern und erweitern können.
Aktualisiert: 2023-06-02
> findR *
Grundlegende Konzepte der Arithmetik werden in der Schule unter der Perspektive sog. „Zahlaspekte“ vermittelt, die sich an elementaren Formen alltäglicher Zahlbegriffsanwendung orientieren. So werden beispielsweise nominale, kardinale, metrische und symbolisch-algorithmische Repräsentationsansätze voneinander unterschieden.
In der vorliegenden Publikation werden Konzepte einer empirischen Semantik vorgestellt, die eine systematische Analyse und Klassifikation traditionell diskutierter Zahlaspekte ermöglicht. Neben differenzierenden Merkmalen untersuchter Einzelaspekte lässt sie Grundzüge einer hierarchischen Organisation und Metastrukturalität erkennen.
Die Publikation soll durch eine Bereitstellung geeigneter Analysemittel bereichsspezifische Unterrichtspraktiken unterstützen. Für Verwendungen im Rahmen der Hochschulausbildung sind insbesondere die begleitenden, didaktisch kommentierten Übungssequenzen geeignet.
Eine Erfassung methodologischer Grundlagen stiftet für fachdidaktische Einzelmaßnahmen einen effektiven Referenzrahmen. Sie kann, weitergehend, Anregungen für eine kognitions- und wissenschaftstheoretisch orientierte Grundlagenforschung vermitteln.
Aktualisiert: 2022-12-15
> findR *
Die menschliche Sprachfähigkeit wird in der modernen Linguistik zunehmend durch abstrakte Theorien beschrieben. Die Bedeutung sprachlicher Ausdrücke läßt sich durch die Übersetzung in formale Logiksprachen und deren Verhältnis zu Modellen von der Welt rekonstruieren. 'Formale Semantik und Natürliche Sprache' bietet eine übersichtliche Darstellung der gängigen theoretischen Konzepte und Analyseverfahren und führt kapitelweise von der elementaren Mengenlehre über Aussagen- und Prädikatenlogik, Typentheorie, Lambda-Kalkül, Temporalsemantik und Modallogik bis hin zur intensionalen Logik. Zusätzlich vermittelt es die technischen Grundlagen der formalen Semantik. Aufgrund seines didaktisch klar strukturierten Aufbaus sowie vieler Beispiele und Übungsaufgaben eignet es sich nicht nur zum Selbststudium, sondern auch als Leitfaden für den Seminarunterricht.
Aktualisiert: 2023-02-20
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2022-03-06
> findR *
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, ermöglicht es, selbständig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und natürlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN
Bücher zum Thema formale Semantik
Sie suchen ein Buch über formale Semantik? Bei Buch findr finden Sie eine große Auswahl Bücher zum
Thema formale Semantik. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr
hat zahlreiche Bücher zum Thema formale Semantik im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das
passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das
Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche
Bücher uvm. Bestellen Sie Ihr Buch zum Thema formale Semantik einfach online und lassen Sie es sich bequem nach
Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.
formale Semantik - Große Auswahl Bücher bei Buch findr
Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum
Thema formale Semantik, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche
Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl
Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Unter formale Semantik und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung
thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege.
Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem
zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu
studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.
