A matematika terület-specifikus nyelvei

Eredeti címe:

Domain-Specific Languages of Mathematics

Könyv tartalma:

A könyv fő gondolata az, hogy az olvasókat arra ösztönözze, hogy közeledjenek.

Matematikai tartományok funkcionális programozási szemszögből: hogy.

Azonosítani a főbb függvényeket és típusokat, és ha szükséges, hogy.

Új absztrakciókat mutassunk be; számítási bizonyításokat adjunk; fizessünk.

Figyelmet fordítani a matematikai kifejezések szintaxisára; és végül.

Az így kapott függvények és típusok megszervezése szakterület-specifikus nyelvekben.

A könyvet a matematikát tanuló fejlesztőknek ajánljuk és.

Haskellt szeretnének használni a definíciók és tételek értelmezésére. Ez.

A könyv a matematikailag érdeklődőknek is szól, akik szeretnék felfedezni.

A funkcionális programozás és a szakterület-specifikus nyelvek. A könyv segít a helyére tenni.

Perspektívába helyezni a matematika és a funkcionális programozás területeit.

És megmutatja, hogyan lehet az informatikát és a matematikát hasznosan együtt tanítani.