LOGIC MODEL Inputs Inputs Outputs Outcomes Quantifying the effort - PDF document

May 07, 2023 •444 likes •500 views

11/6/19 INPUT MEASURES LOGIC MODEL Inputs Inputs Outputs Outcomes Quantifying the effort expended on a program/ resource/service 1 2 funds expended 3 4 number of staff staff hours 5 6 1 11/6/19 OUTPUT MEASURES Outputs Quantifying

11/6/19 INPUT MEASURES LOGIC MODEL Inputs Inputs Outputs Outcomes Quantifying the effort expended on a program/ resource/service 1 2 funds expended 3 4 number of staff staff hours 5 6 1
11/6/19 OUTPUT MEASURES Outputs Quantifying the level of services and materials provided 7 8 number of events offered total attendance at events 9 10 number of minutes spent reading circulation 11 12 2
11/6/19 OUTCOME MEASURES Outcomes Quantifying the effect of a program/resource/service 13 14 Children’s enjoyment children maintained of reading increased or improved reading skills 15 16 LOGIC MODEL Inputs Outputs Outcomes children were more likely to read by choice 17 18 3
11/6/19 SUMMER READING Inputs Outputs Outcomes Funds expended Number of Increases in: • Marketing events offered • enjoyment of • Food for kickoff reading events Event • reading skills attendance • reading by Number of staff choice Time spent Ongoing Staff time reading partnership with school district Circulation 19 4

Recommend

Logic Modeling Outline What is a logic model? How to use a logic model How to build a

An Introduction to Logic Modeling Outline What is a logic model? How to use a logic model How to build a logic model What is a Logic Model? Brief definition: A logic model is a graphic representation of a program showing

630 views • 61 slides

Agenda Definition and relevance of the logic model Elements of the logic model Theory

The Logic Model as an Outcome-Based Project Management Framework Michael Swack, Center on Social Innovation and Finance, Carsey Institute University of New Hampshire June-October, 2013 Agenda Definition and relevance of the logic model

211 views • 8 slides

Hoare Logic and Model Checking Model Checking Lecture 11: Model checking for Computation Tree

Hoare Logic and Model Checking Model Checking Lecture 11: Model checking for Computation Tree Logic Dominic Mulligan Based on previous slides by Alan Mycroft and Mike Gordon Programming, Logic, and Semantics Group University of Cambridge

402 views • 25 slides

Hoare Logic and Model Checking Model Checking Lecture 10: Computation Tree Logic (CTL) Dominic

Hoare Logic and Model Checking Model Checking Lecture 10: Computation Tree Logic (CTL) Dominic Mulligan Based on previous slides by Alan Mycroft and Mike Gordon Programming, Logic, and Semantics Group University of Cambridge Academic year

1.15k views • 48 slides

Evaluating the Effectiveness of SESCDPs 2 Todays Session What is a logic model?

Evaluating the Effectiveness of SESCDPs 2 Todays Session What is a logic model? General examples Why use it? SESCDP sample logic model Q & A Contacts & Additional References 10/7/2014 3:19 PM 3 A logic model

485 views • 13 slides

The Poverello Center Logic Model Providing food, shelter, help and hope to all who ask The

The Poverello Center Logic Model Providing food, shelter, help and hope to all who ask The purpose of a logic model is to explore and then explain how we as an organization expect to reach our commonly understood long-term goals. Logic

904 views • 40 slides

Lecture 8/9 : Separation Logic Overview Assertion Logic Semantic Model

CS6202: Advanced Topics in Programming Languages and Systems Lecture 8/9 : Separation Logic Overview Assertion Logic Semantic Model Hoare-style Inference Rules Specification and Annotations Linked List and Segments

1.02k views • 76 slides

Hoare Logic and Model Checking Model Checking Lecture 7: Introduction and background Dominic

Hoare Logic and Model Checking Model Checking Lecture 7: Introduction and background Dominic Mulligan Based on previous slides by Alan Mycroft and Mike Gordon Programming, Logic, and Semantics Group, University of Cambridge Academic year

972 views • 41 slides

Temporal Logic and Model Checking Model mathematical structure extracted from hardware or

Temporal Logic and Model Checking Model mathematical structure extracted from hardware or software Temporal logic provides a language for specifying functional properties Model checking checks whether a given property holds

1.56k views • 131 slides

Lecture Slides for MAT-60556 PART IV: First Order Logic: Resolution, Logic programming and Model

Lecture Slides for MAT-60556 PART IV: First Order Logic: Resolution, Logic programming and Model theory Henri Hansen October 1, 2013 1 Resolution Resolution is a sound and complete algorithm for propositional logic: A formula in clausal

543 views • 40 slides

Monadic second order logic as a model companion Sam van Gool samvangool@me.com University of

Monadic second order logic as a model companion Sam van Gool samvangool@me.com University of Utrecht (until 31 Aug) / Paris (starting 1 Sept) Logic Colloquium, Prague 13 August 2019 Automata and logic: example A programming problem: given

780 views • 29 slides

LOGIC MODEL Siu Mee Cheng Point Consulting Services PAVRO 2017, Toronto June 22, 2017

DEVELOPING A LOGIC MODEL Siu Mee Cheng Point Consulting Services PAVRO 2017, Toronto June 22, 2017 Objectives / Outline Definition Purpose and theory behind logic models, and their benefits; 3 logic model approaches Examples

613 views • 30 slides

Hoare Logic and Model Checking 1. You should be able to model simple systems in NuSMV, an LTL

Hoare Logic and Model Checking 1. You should be able to model simple systems in NuSMV, an LTL Other interesting books: Model Checking by Clarke, Grumberg, and Peled Principles of Model Checking by Baier and Katoen 3 Course

636 views • 11 slides

Hoare Logic and Model Checking Semantics of Hoare Logic Kasper Svendsen University of Cambridge

Hoare Logic and Model Checking Semantics of Hoare Logic Kasper Svendsen University of Cambridge CST Part II 2016/17 Acknowledgement: slides heavily based on previous versions by Mike Gordon and Alan Mycroft Semantics of Hoare Logic

663 views • 10 slides

Model Theory of Modal Logic Lecture 1: A brief introduction to modal logic Valentin Goranko

Introduction Model Theory of Modal Logic Lecture 1: A brief introduction to modal logic Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, 25 January, 2010 Introduction Some course

600 views • 29 slides

PERSPECTIVES IN MODEL THEORY OF FUZZY LOGIC PILAR DELLUNDE PRAGUE, THE FUTURE OF MATHEMATICAL

PERSPECTIVES IN MODEL THEORY OF FUZZY LOGIC PILAR DELLUNDE PRAGUE, THE FUTURE OF MATHEMATICAL FUZZY LOGIC, 16-18 JUNE 2016 LESSONS LEARNT FROM THE RECENT HISTORY OF CLASSICAL MODEL THEORY. 7 PROPOSALS IN MODEL THEORY OF MFL. WHAT IS MODEL

816 views • 32 slides

Hoare Logic and Model Checking Model Checking But perhaps theres a clever way of

Hoare Logic and Model Checking Model Checking But perhaps theres a clever way of compiling one into the other? Both have very different models of time How do they compare? We have seen two widely used temporal logics Relative

510 views • 10 slides

Introduction to Temporal Logic Mehdi Dastani BBL-521 M.M.Dastani@uu.nl Modal Logic Modal logic

Introduction to Temporal Logic Mehdi Dastani BBL-521 M.M.Dastani@uu.nl Modal Logic Modal logic is developed to model various concepts and phenomena. Logic of and (necessity / possibility) Various flavours: epistemic /

547 views • 18 slides

A Model Theoretic Characterization of I 0 + Exp + B 1 Ali Enayat IPM Logic Conference

A Model Theoretic Characterization of I 0 + Exp + B 1 Ali Enayat IPM Logic Conference June 2007 Characterizing PA (1) Theorem (MacDowell-Specker) Every model of PA has an elementary end extension. Proof: (1) Construct an

228 views • 21 slides

How to Develop a Program Logic Model Learning objectives By the end of this presentation, you

How to Develop a Program Logic Model Learning objectives By the end of this presentation, you will be able to: Describe what a logic model is, and how it can be useful to your daily program operations Identify the key components of a

520 views • 36 slides

Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I

Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I Modern mathematical logic developed at the end of the 19th and beginning of 20th centuries with the so-called foundational crisis or crises. Logic

1.01k views • 61 slides

through Implementation Evaluation and Logic Model Initiative CSP Project Directors Meeting

Grantee Logic Models: Application through Implementation Evaluation and Logic Model Initiative CSP Project Directors Meeting April 2018 This presentation was produced in whole with Federal funds from the U.S. Department of Education under

710 views • 31 slides

Hoare Logic and Model Checking Model Checking See NuSMV homepage to download: http://nusmv.fbk.eu/

Hoare Logic and Model Checking Model Checking See NuSMV homepage to download: http://nusmv.fbk.eu/ Was popular in semiconductor industry via Cadence SMV Could handle large models A re-implementation of the SMV model checker: Good

110 views • 10 slides

LIC evaluation: Using logic and the logic model when defining success Peggy Alexiadis Brown,

LIC evaluation: Using logic and the logic model when defining success Peggy Alexiadis Brown, Program Evaluation, Dalhousie Medicine New Brunswick John Steeves, Associate Dean, DMNB Preston Smith, Senior Associate Dean, DMNB Robert Boulay, Site

425 views • 20 slides