PPT-Picturing Your Program: An Introduction To Logic Modeling

Yvonne Watson US Environmental Protection Agency Agenda Welcome amp Introductions Purpose of Todays Session Overview of Logic Models Logic Modeling Exercise Wrap Up 2 Why are we here. These properties can be resumed as follows a Ternary logic is a generalization of binary logic b it has not a structure to be a Boolean algebra c it is based on more than three basic operations and d its tautologies and contradictions are more compl The method automatically checks sequen tial logic embedded in PLCs and provides counterexamples if it finds errors The method consists of a system model assertions and a model checker The model is a Booleanbased repre sentation of a PLCs behavior As Tony Hoare. Lausanne 20 June 2011. Historical Survey. Discovery. deductive logic. constructive logic. temporal . logic. algebraic logic. Application Attribution. philosophy . Aristotle. geometry . A Project of . Economica. The Project. Artists . across the globe responded to an international call for . submissions. Jury selected 50 . photographs by 20 artists . Collaboration . between the International Museum of Women and the San Francisco Arts Commission . Stephanie Lampron, . NDTAC. Agenda. Provide an . o. verview of the logic model . f. ramework for this conference. Discuss the different purposes of logic . m. odels. Demonstrate the sections of a logic model. t. o Programming Language Semantics,. to Program Verification. Grigore . Rosu. University of Illinois at Urbana-Champaign, USA. 1. How it all started. 1996: Started PhD with Joseph . Goguen. Discovered Maude as “fast OBJ”, then rewriting logic. A Project of . Economica. The Project. Artists . across the globe responded to an international call for . submissions. Jury selected 50 . photographs by 20 artists . Collaboration . between the International Museum of Women and the San Francisco Arts Commission . Tony Hoare. Lausanne 20 June 2011. Historical Survey. Discovery. deductive logic. constructive logic. temporal . logic. algebraic logic. Application Attribution. philosophy . Aristotle. geometry . Grigore. . Rosu. University of Illinois at . Urbana-Champaign (UIUC). Joint work with. Chucky Ellison . (UIUC). Wolfram Schulte . (Microsoft Research). How It Started. NASA project runtime . verification effort. Stephanie Lampron, . NDTAC. Agenda. Provide an . o. verview of the logic model . f. ramework for this conference. Discuss the different purposes of logic . m. odels. Demonstrate the sections of a logic model. 2. Decision Trees and Decision Tables. Often our problem solutions require decisions to be made according to two or more conditions or combinations of conditions. Decision trees represent such decision as a sequence of steps. Optional Session. LONG-TERM. INPUTS. ACTIVITIES. OUTPUTS.  . SHORT-TERM.  . MEDIUM-TERM. OUTCOMES. The Cancer Prevention and Control Research Network is supported by Cooperative Agreement Number 3 U48 DP005017-01S8 from the Centers for Disease Control and Prevention’s Prevention Research Centers Program and the National Cancer Institute. The content of this curriculum is based upon findings and experiences of workgroup members and does not necessarily represent the official position of the funders. Solution to a problem.. How can my customer purchase products from the Internet?. Most do 3 things. Input data. Process data. Output data. Writing a Computer Program. Determining what the problem is. Session I: Learning about Logic Models. Hosted by the [insert alliance here]. Moderator:. Presenter:. Date. Time. 1. Introductions. Workshop facilitator:. Participants:. Name and affiliation. 2. Agenda.