MyWikiBiz, Author Your Legacy — Saturday January 17, 2026
Jump to navigationJump to search
58 bytes added
, 15:03, 2 July 2008
| Line 1: |
Line 1: |
| | {{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}} | | {{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}} |
| | | | |
| − | {| width="100%" | + | [[Image:Tangent_Functor_Ferris_Wheel.gif]] |
| | + | |
| | + | {| style="height:36px; width:100%" |
| | | align="left" | ''Stand and unfold yourself.'' | | | align="left" | ''Stand and unfold yourself.'' |
| | | align="right" | Hamlet: Francsico—1.1.2 | | | align="right" | Hamlet: Francsico—1.1.2 |
| | |} | | |} |
| − | <br>
| |
| | | | |
| | This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic systems. The work pursued here is coordinated with a parallel application that focuses on neural network systems, but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project. | | This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic systems. The work pursued here is coordinated with a parallel application that focuses on neural network systems, but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project. |