Exercise 1.1 p.6 Σ-structuresの具体例を、先のstructuresの４つのうちのΣ-structuresをのぞく最初の3つに対応づける問題。 1. , with . 一番目の例、Peano Structuresに相当する。syntaxは、先のΣ-structuresの定義では、 しかないので、 。 具体的には、m…

1.2 Examples of Syntax and Semantics p.4 のメモ(2) Σ-structures p.5 まず、signatureとしてΣが与えられる。 このとき、Σ-structures が、set Aと、 それぞれにつき与えられる により構成される。 ってのは、のような関数が用意されていて、\sigmaにつき…

1.2 Examples of Syntax and Semantics p.4 のメモ メモ syntaxの定義として、expressionのset E それに対して、structure =(A,...) と、meaning function []:E -> A を用意してsemanticsとする。structureの最初の要素Aは、structure のunderlying set. 数…

Introduction p.1 の内容メモ この講義はコンピュータサイエンスの学生向きである。 主題は、形式言語のmathematical semanticsの導入。 網羅を目指さず、syntaxとsemanticsが、どのように互いにdualになっているかという視点を与えることに注力する。 その…