Changes

format epitext
Line 1: Line 1:  
{{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}}
 
{{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}}
  −
[[Image:Tangent_Functor_Ferris_Wheel.gif]]
  −
  −
<br>
      
{| width="100%"
 
{| width="100%"
Line 9: Line 5:  
| align="right" | Hamlet: Francsico&mdash;1.1.2
 
| align="right" | Hamlet: Francsico&mdash;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.
12,089

edits