Logic in computer science
|
|
- Moses Charles
- 5 years ago
- Views:
Transcription
1 Logic in compuer science Logic plays an imporan role in compuer science Logic is ofen called he calculus of compuer science Logic plays a similar role in compuer science o ha played by calculus in he physical sciences and radiional engineering disciplines (M. Vardi, 2007) Logic 1
2 Mah vs Compuer science Mahemaicians define synax and semanics of languages sudy heir expressive power and properies Compuer scieniss apply logic combine foundaional research on logic wih applicaions Logic 2
3 Logic There is a variey of logic languages, depending on he level of absracion w.r.. naural language Some examples: Proposiional Logic FOL Descripion Logic Temporal Logic Logic 3
4 Applicaions Logic is a universal formalism I can be applied in a variey of conexs: archiecure (logic gaes) sofware engineering (specificaion and verificaion) programming languages (semanics, logic programming) daabases (relaional calculus, Daalog) arificial inelligence (auomaic heorem proving) heory of compuaion (general noion of complexiy) Logic 4
5 Basic applicaions Proposiional logic is used in compuer science for circui design FOL (more powerful) is used in program verificaion and in arificial inelligence Some examples: definiion of languages saing program properies specifying sysem (iming) properies Logic 5
6 Logic 6 Noaion In mah Funcions are denoed wih funcional leers Predicaes are denoed wih predicaive leers In compuer science generally predicaes and funcions are denoed wih meaningful names Variables in programming languages
7 Logic 7 Languages Languages are ses of srings on an alphabe The se conains all he srings ha are par of he language Examples: {a,b} The language of srings on wih he same number n n of a s and b s and all he a s firs is he se { a b n The language of he srings on wih he same number of a s and b s, wih all he a s firs and wih a n n leas an a is he se * {a,b} { a b n 1} * 0}
8 In logic FOL can help in describing a language Ses can be seen as abbreviaions of FOL formulae Some problems: Wha should we describe? How can we define he differen pars? Wha can we ake as a primiive? Logic 8
9 Logic 9 Example n n Consider he se { a b n 1} The se abbreviaes he formula x ( x L n ( n 1 x = a Predicaes:,, = Funcions: concaenaion and power n Wha is x? n x (( n = 0 x n = ε) ( n > 0 n x.b n n n = )) x n 1. x))
10 Remarks We need o define all he non-elemenary predicaes and funcions The following are assumed o be already defined: Equaliies Inequaliies Se membership ( ) The basic arihmeic operaions (+, -, *, :) Basic sring operaions (concaenaion) Logic 10
11 Logic 11 L 1 = a * b * L 1 is he language of he srings on {a, b} wih all he a s firs More precisely, a sring is in L 1 if i is he empy sring, or i is decomposed in he prefix a and he suffix y (also belonging o L 1 ) i is decomposed in he prefix y (also belonging o L 1 ) and he suffix b This can be expressed as x(x L1 (x = ε) y (x = ay y L 1) y (x = yb y L 1))
12 Logic 12 L 2 = a * b * c * (1) L 2 is he language of he srings on {a, b, c} wih all he a s firs, hen all he b s and a he end all he c s L 2 can be seen as a * b *. b * c * a * b * is L 1 b * c * has he same srucure as L 1 (le s call i L 3 ) A sring belongs o L 2 if I is in L 1 or I is in L 3 or i can be decomposed in he prefix a and he suffix y (ha belongs o L 2 or o L 3 ) or i can be decomposed in he prefix y (ha belongs o L 1 or o L 2 ) and he suffix c
13 Logic 13 L 2 = a * b * c * (2) In FOL: x(x L 2 (x L 1 ) (x L y ((x = ay 3 ) (y L 2 y L 3 )) (x = yc (y L 2 y L 1 )))) x is in L 1 x is in L 3 I can be decomposed in he prefix a and he suffix y (ha belongs o L2 or o L3) i can be decomposed in he prefix y (ha belongs o L1 or o L2) and he suffix c do we need all of hese?
14 Noes and addiional remarks A magic formula for obaining FOL descripions of ses does no exis Some remarks When he order among leers in a language is imporan, he FOL formula defines he language by decomposing i recursive definiion When we need o coun he leers an addiional funcion can be defined Logic 14
15 Example L 4 ={x {a,b}* he number of a s is equal o he number of b s} #(x, a) is of ariy 2 and couns he number of occurrences of he symbol a in he sring x I can be defined formally as In FOL x y((x = ε #(x,a) = 0) (x = a.y #(x,a) = #(y,a) +1) (x = b.y #(x,a) = #(y,a))) x y((x = ε #(x,b) = 0) (x = b.y #(x,b) = #(y,b) +1) (x = a.y #(x,b) = #(y,b))) The definiion depends on he alphabe x(x L4 #(x,a) = #(x, b)) Logic 15
16 Precondiions and poscondiions When a funcion is programmed, i is imporan o precisely define wha i accomplishes, wihou necessarily describing how i works Precondiions and poscondiions serve his purpose The precondiion saemen indicaes wha mus be rue before he funcion is called The poscondiion saemen indicaes wha should be rue when he funcion finishes is work Logic 16
17 Logic 17 General srucure (Hoare s noaion) {Precondiion: Pre} Program or program fragmen: P {Poscondiion: Pos} The precondiion is verified before he execuion of P, while he poscondiion is checked afer i P mus be such ha if Pre holds before he execuion, hen Pos holds afer is execuion
18 How o define hem? Precondiions and poscondiions can be defined in differen ways Naural language Asserion languages Ad-hoc languages FOL can be used for his purpose Logic 18
19 Search algorihm (1) Le P be a program implemening he search of an elemen x in an ordered array a of n elemens Precondiion: he array is ordered Poscondiion: he found logical variable mus be rue if and only if he elemen x exiss in he array a Remark: P does no necessarily implemen a binary search algorihm Bu he precondiion is needed if i is he case Logic 19
20 Search algorihm (2) The precondiion can be formalized as { i(1 i n -1 a[i] a[i + 1])} The poscondiion is So he overall srucure is {found i(1 i n a[i] = x)} { i(1 P i n -1 {found i(1 i a[i] a[i + 1])} n a[i] = x)} Noe ha he elemens of an array are denoed wih he usual programming noaion Logic 20
21 Soring (1) Le ORD be a program ha sors an array a of n elemens ha does no conain repeiions Precondiion: he array does no conain repeiions Poscondiion: he obained array is ordered (if an elemen x precedes an elemen y in he array, hen i is smaller) Formally: { i, j(1 i n 1 j n i j a[ i] = a[ j])} ORD { i(1 i n 1 a[ i] a[ i + 1])} Logic 21
22 Soring (2) Is he specificaion adequae? Consider he following example: a before he execuion of ORD is [ ] a afer he execuion of ORD is [2 6 22] I saisfies he poscondiion! The poscondiion has o sae ha all and only he elemens in he array o be sored are conained in he sored array Logic 22
23 Logic 23 Soring (3) An array b (no used in ORD) is used o refer o he array a before he execuion I is necessary o add in he precondiion ha b is exacly like he array a The soluion becomes ])))} [ ] [ ( ) ((1 (1 ]))) [ ] [ ( ) ((1 (1 1]) [ ] [ (1 { ])} [ ] [ (1 ]) [ ] [ 1 (1, { j b i a n i i n j j j b i a n j j n i i i a i a n i i ORD i b i a n i i j a i a j i n j n i j i = = + < = =
24 Remarks A specificaion mus be considered as a conrac I mus conain all he informaion No a priori assumpion When some condiion is eliminaed from he precondiion, he specificaion can become unsaisfacory Logic 24
25 Wha is a specificaion? A formal specificaion is a mahemaical descripion of he sysem I describes wha he sysem should do No (necessarily) how he sysem should do i There are many differen specificaion languages Logic 25
26 Logic 26 Logic for specificaion FOL can be used as specificaion language Logical approach Logical specificaion languages give a descripion of he sysem behavior Conjuncion of formulae = se of requiremens They say wha o do, no how FOL can be used also for iming requiremens
27 Logic 27 Example Lamp behavior: If I push he buon, he ligh goes on wihin Δ ime unis We need he predicaes: P_B(): push he buon a ime L_On(): ligh is on a ime FOL for he requiremen (P_B() 1(( 1 + Δ) L_On(1 ))) Is i correc?
28 Logic 28 Remarks A specificaion can be correc bu no realisic I is necessary o give all he needed consrains Formulae describe a se of behaviors, i.e., he behaviors ha saisfy hem (PB() 1 (( 1 + Δ) L_On( 1 ))) The ligh can be on even if no one presses he buon
29 Logic 29 Refinemen of he lamp specificaion (1) Skech of behavior L_On L_Off L_Off P_B() +k If he buon is pushed he ligh is on for k ime unis and is off he res of he ime L_Off(): he ligh is off ( (L_On() L_Off()))
30 Logic 30 Refinemen of he lamp specificaion (2) Formally (P_B() 1 (( 2 1 < (( + k + k) 2 ) L_On( L_Off( 2 1 )) )) Bu wha happens if he buon is pushed when he ligh is on? Can he ligh be on wihou pushing he buon? Wha if he buon is pushed wice?
31 Logic 31 Correc (?) specificaion of he lamp P_B() L_On L_Off L_Off +k )) ( _ )) ( _ ) (( ) ( _ (, )) ( _ )) ( _ ) (( )) ( _ ) ( _ (( Off L B P Off L k Off L On L k Off L B P + + <
32 Logic 32 Problems in specifying sysems Known problems in AI The frame problem: How o express a dynamical domain in logic wihou explicily specifying wha condiions are NOT affeced by an acion Even exremely simple siuaions may require complex formalizaions Several calculi developed o address his issue: Fluen calculus, even calculus, siuaion calculus, We won delve ino hese issues in his course
33 Logic 33 How o specify a sysem Logic can be used o describe sysem requiremens For a sysem ha has o be analyzed, we need o idenify: Needed predicaes Relaionships among hem Temporal domain I is imporan o sae NOT only he sufficien condiions, bu also he necessary ones
34 Temporal domain There are differen dimensions ha need o be aken ino accoun The main difference is beween Discree domains Naural or ineger numbers Dense domains Raional numbers Coninuous domains Real numbers Logic 34
35 Logic 35 Wha are he predicaes? In he lamp example we had: P_B() L_On() L_Off() In general, predicaes used in a sysem specificaion can be divided ino: Predicaes ha represen a sae of he sysem (L_On(), L_Off()) Predicaes ha represen an even (P_B())
36 Sae A sae represens a snapsho of he sysem I holds over ime I is no insananeous (if ime is a dense domain) We can inroduce abbreviaed noaions for common siuaions Logic 36
37 Logic 37 Abbreviaions Up_o_now_S() δ(δ> 0 ( 1( δ< 1 < ) S(1))) I does no sae ha S holds a he presen ime From_now_on_S() δ(δ> 0 ( 1( 1 < + δ) S(1))) The presen is included
38 Logic 38 Even An even is an insananeous occurrence ha resuls in a changed sysem sae E The following axiom can be used o sae his behavior (abbreviaed wih Even_E): (E() δ(δ> 0 ( 1 ( δ< 1 < < 1 < + δ) E(1))))
39 Logic 39 Example (1) Consider he lamp example L_On L_Off L_Off P_B() +k We use abbreviaions o make he specificaion clearer
40 Logic 40 Example (2) ) L_Off( ))) P_B( ) (( ) (L_Off(, k)) L_Off( )) L_On( k) (( Up_o_now_L_Off()) ((P_B() _ )) ( _ ) ( _ ( < B Even_P Off L On L
41 Wha can a specificaion be used for? A specificaion can be checked hrough formal verificaion I shows ha a candidae sysem design is correc wih respec o he specificaion. Remark: i does no prove ha he sysem is correc, bu i highlighs errors in candidae sysem designs Logic 41
42 Logic 42 A case sudy: Simplified railroad crossing There is jus a one-way rack When he rain is crossing I, he bar has o be closed: Train behavior Gae conroller
43 Logic 43 Daa of he problem Ar En Ex R has lengh d I has lengh x Ar and En are he endpoins of R En and Ex are he endpoins of I
44 Logic 44 Train Kinemaics (1) A rain can vary is speed in he inerval [V min,v max ] The ime aken o cross he crossing region varies consequenly (δ (δ (δ 1 3 = = min d V x V min min = d V ) (δ ) (δ max 2 4 ) (δ d + x = ) Vmax = x ) V max max d + x = ) V min
45 Logic 45 Train Kinemaics (2) If he rain eners he region R, i exis i a leas δ min and a mos δ 1 ime unis afer, and i exis l a leas δ 2 and a mos δ max ime unis afer (Ar() 1 (En(1) ( + δmin 1 + δ 1)) 2(Ex(2) ( + δ2 2 + δ If he rain exis he region R, i enered i a leas δ min and a mos δ 1 insans before, and if i exis l, i enered region R a leas δ 2 ime insans before max ))) and a mos δ max (En() (Ex() 1 1 (Ar( (Ar( 1 1 ) ( δ 1 ) ( δ max 1 1 δ min δ ))) 2 )))
46 Logic 46 Train Kinemaics (3) The rain is wihin he crossing region a ime if i enered R before and afer ha momen i didn exi l (In() (En(1 ) (1 ) 2(Ex( 2) (1 2 1 )))) Abbreviaions for recurring emporal consrucions could be inroduced
47 The gae conroller When he rain eners R i akes a leas δ min o ener l and a mos δ 1 o exi i: in his inerval he bar has o be closed (Ar() 1(( + δmin 1 + δmax) Down( 1))) The bar is closed only if a rain enered he region (no necessarily l) ( Down( ) 1(( δmax 1 δmin ) Ar( 1))) Up is he opposie of down ( Down( ) Up( )) Logic 47
48 Logic 48 Propery We wan (In() Down()) o hold in he sysem we specified The safey requiremen should be proved (derived) as a heorem from he formalizaion (he whole specificaion)
Application of a Stochastic-Fuzzy Approach to Modeling Optimal Discrete Time Dynamical Systems by Using Large Scale Data Processing
Applicaion of a Sochasic-Fuzzy Approach o Modeling Opimal Discree Time Dynamical Sysems by Using Large Scale Daa Processing AA WALASZE-BABISZEWSA Deparmen of Compuer Engineering Opole Universiy of Technology
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationAn Excursion into Set Theory using a Constructivist Approach
An Excursion ino Se Theory using a Consrucivis Approach Miderm Repor Nihil Pail under supervision of Ksenija Simic Fall 2005 Absrac Consrucive logic is an alernaive o he heory of classical logic ha draws
More informationEE 315 Notes. Gürdal Arslan CLASS 1. (Sections ) What is a signal?
EE 35 Noes Gürdal Arslan CLASS (Secions.-.2) Wha is a signal? In his class, a signal is some funcion of ime and i represens how some physical quaniy changes over some window of ime. Examples: velociy of
More informationLecture 20: Riccati Equations and Least Squares Feedback Control
34-5 LINEAR SYSTEMS Lecure : Riccai Equaions and Leas Squares Feedback Conrol 5.6.4 Sae Feedback via Riccai Equaions A recursive approach in generaing he marix-valued funcion W ( ) equaion for i for he
More informationAn introduction to the theory of SDDP algorithm
An inroducion o he heory of SDDP algorihm V. Leclère (ENPC) Augus 1, 2014 V. Leclère Inroducion o SDDP Augus 1, 2014 1 / 21 Inroducion Large scale sochasic problem are hard o solve. Two ways of aacking
More informationLecture Notes 2. The Hilbert Space Approach to Time Series
Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationA NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University
A NOTE ON THE STRUCTURE OF BILATTICES A. Avron School of Mahemaical Sciences Sacler Faculy of Exac Sciences Tel Aviv Universiy Tel Aviv 69978, Israel The noion of a bilaice was rs inroduced by Ginsburg
More informationRetrieval Models. Boolean and Vector Space Retrieval Models. Common Preprocessing Steps. Boolean Model. Boolean Retrieval Model
1 Boolean and Vecor Space Rerieval Models Many slides in his secion are adaped from Prof. Joydeep Ghosh (UT ECE) who in urn adaped hem from Prof. Dik Lee (Univ. of Science and Tech, Hong Kong) Rerieval
More informationExpert Advice for Amateurs
Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he
More informationOverview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course
OMP: Arificial Inelligence Fundamenals Lecure 0 Very Brief Overview Lecurer: Email: Xiao-Jun Zeng x.zeng@mancheser.ac.uk Overview This course will focus mainly on probabilisic mehods in AI We shall presen
More information11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu
ON EQUATIONS WITH SETS AS UNKNOWNS BY PAUL ERDŐS AND S. ULAM DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COLORADO, BOULDER Communicaed May 27, 1968 We shall presen here a number of resuls in se heory concerning
More informationKINEMATICS IN ONE DIMENSION
KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings move how far (disance and displacemen), how fas (speed and velociy), and how fas ha how fas changes (acceleraion). We say ha an objec
More information2. Nonlinear Conservation Law Equations
. Nonlinear Conservaion Law Equaions One of he clear lessons learned over recen years in sudying nonlinear parial differenial equaions is ha i is generally no wise o ry o aack a general class of nonlinear
More informationWe just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n
Lecure 3 - Kövari-Sós-Turán Theorem Jacques Versraëe jacques@ucsd.edu We jus finished he Erdős-Sone Theorem, and ex(n, F ) ( /(χ(f ) )) ( n 2). So we have asympoics when χ(f ) 3 bu no when χ(f ) = 2 i.e.
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationMatrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality
Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]
More informationPhysical Limitations of Logic Gates Week 10a
Physical Limiaions of Logic Gaes Week 10a In a compuer we ll have circuis of logic gaes o perform specific funcions Compuer Daapah: Boolean algebraic funcions using binary variables Symbolic represenaion
More informationHomework sheet Exercises done during the lecture of March 12, 2014
EXERCISE SESSION 2A FOR THE COURSE GÉOMÉTRIE EUCLIDIENNE, NON EUCLIDIENNE ET PROJECTIVE MATTEO TOMMASINI Homework shee 3-4 - Exercises done during he lecure of March 2, 204 Exercise 2 Is i rue ha he parameerized
More information4 Sequences of measurable functions
4 Sequences of measurable funcions 1. Le (Ω, A, µ) be a measure space (complee, afer a possible applicaion of he compleion heorem). In his chaper we invesigae relaions beween various (nonequivalen) convergences
More informationOptimality Conditions for Unconstrained Problems
62 CHAPTER 6 Opimaliy Condiions for Unconsrained Problems 1 Unconsrained Opimizaion 11 Exisence Consider he problem of minimizing he funcion f : R n R where f is coninuous on all of R n : P min f(x) x
More informationAlmost Sure Degrees of Truth and Finite Model Theory of Łukasiewicz Fuzzy Logic
Almos Sure Degrees of Truh and Finie odel Theory of Łukasiewicz Fuzzy Logic Rober Kosik Insiue of Informaion Business, Vienna Universiy of Economics and Business Adminisraion, Wirschafsuniversiä Wien,
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More informationCHAPTER 2 Signals And Spectra
CHAPER Signals And Specra Properies of Signals and Noise In communicaion sysems he received waveform is usually caegorized ino he desired par conaining he informaion, and he undesired par. he desired par
More informationFamilies with no matchings of size s
Families wih no machings of size s Peer Franl Andrey Kupavsii Absrac Le 2, s 2 be posiive inegers. Le be an n-elemen se, n s. Subses of 2 are called families. If F ( ), hen i is called - uniform. Wha is
More informationTechnical Report Doc ID: TR March-2013 (Last revision: 23-February-2016) On formulating quadratic functions in optimization models.
Technical Repor Doc ID: TR--203 06-March-203 (Las revision: 23-Februar-206) On formulaing quadraic funcions in opimizaion models. Auhor: Erling D. Andersen Convex quadraic consrains quie frequenl appear
More informationNon-uniform circular motion *
OpenSax-CNX module: m14020 1 Non-uniform circular moion * Sunil Kumar Singh This work is produced by OpenSax-CNX and licensed under he Creaive Commons Aribuion License 2.0 Wha do we mean by non-uniform
More informationInternational Journal of Scientific & Engineering Research, Volume 4, Issue 10, October ISSN
Inernaional Journal of Scienific & Engineering Research, Volume 4, Issue 10, Ocober-2013 900 FUZZY MEAN RESIDUAL LIFE ORDERING OF FUZZY RANDOM VARIABLES J. EARNEST LAZARUS PIRIYAKUMAR 1, A. YAMUNA 2 1.
More informationEssential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems
Essenial Microeconomics -- 6.5: OPIMAL CONROL Consider he following class of opimizaion problems Max{ U( k, x) + U+ ( k+ ) k+ k F( k, x)}. { x, k+ } = In he language of conrol heory, he vecor k is he vecor
More informationSolutions to Assignment 1
MA 2326 Differenial Equaions Insrucor: Peronela Radu Friday, February 8, 203 Soluions o Assignmen. Find he general soluions of he following ODEs: (a) 2 x = an x Soluion: I is a separable equaion as we
More informationBasic definitions and relations
Basic definiions and relaions Lecurer: Dmiri A. Molchanov E-mail: molchan@cs.u.fi hp://www.cs.u.fi/kurssi/tlt-2716/ Kendall s noaion for queuing sysems: Arrival processes; Service ime disribuions; Examples.
More informationEchocardiography Project and Finite Fourier Series
Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every
More informationSome Ramsey results for the n-cube
Some Ramsey resuls for he n-cube Ron Graham Universiy of California, San Diego Jozsef Solymosi Universiy of Briish Columbia, Vancouver, Canada Absrac In his noe we esablish a Ramsey-ype resul for cerain
More informationRainbow saturation and graph capacities
Rainbow sauraion and graph capaciies Dániel Korándi Absrac The -colored rainbow sauraion number rsa (n, F ) is he minimum size of a -edge-colored graph on n verices ha conains no rainbow copy of F, bu
More informationMath-Net.Ru All Russian mathematical portal
Mah-Ne.Ru All Russian mahemaical poral Aleksei S. Rodin, On he srucure of singular se of a piecewise smooh minimax soluion of Hamilon-Jacobi-Bellman equaion, Ural Mah. J., 2016, Volume 2, Issue 1, 58 68
More informationChristos Papadimitriou & Luca Trevisan November 22, 2016
U.C. Bereley CS170: Algorihms Handou LN-11-22 Chrisos Papadimiriou & Luca Trevisan November 22, 2016 Sreaming algorihms In his lecure and he nex one we sudy memory-efficien algorihms ha process a sream
More informationBernoulli numbers. Francesco Chiatti, Matteo Pintonello. December 5, 2016
UNIVERSITÁ DEGLI STUDI DI PADOVA, DIPARTIMENTO DI MATEMATICA TULLIO LEVI-CIVITA Bernoulli numbers Francesco Chiai, Maeo Pinonello December 5, 206 During las lessons we have proved he Las Ferma Theorem
More informationAn Approach To Formalization of an Extension of Floyd-Hoare Logic
An Approach To Formalizaion of an Exension of Floyd-Hoare Logic Arur Korni lowicz 1, Andrii Kryvolap 2, Mykola Nikichenko 2, Ievgen Ivanov 2 1 Insiue of Informaics, Universiy of Bia lysok, Cio lkowskiego
More informationTraveling Waves. Chapter Introduction
Chaper 4 Traveling Waves 4.1 Inroducion To dae, we have considered oscillaions, i.e., periodic, ofen harmonic, variaions of a physical characerisic of a sysem. The sysem a one ime is indisinguishable from
More informationMath-Net.Ru All Russian mathematical portal
Mah-NeRu All Russian mahemaical poral Roman Popovych, On elemens of high order in general finie fields, Algebra Discree Mah, 204, Volume 8, Issue 2, 295 300 Use of he all-russian mahemaical poral Mah-NeRu
More informationClass Meeting # 10: Introduction to the Wave Equation
MATH 8.5 COURSE NOTES - CLASS MEETING # 0 8.5 Inroducion o PDEs, Fall 0 Professor: Jared Speck Class Meeing # 0: Inroducion o he Wave Equaion. Wha is he wave equaion? The sandard wave equaion for a funcion
More information18 Biological models with discrete time
8 Biological models wih discree ime The mos imporan applicaions, however, may be pedagogical. The elegan body of mahemaical heory peraining o linear sysems (Fourier analysis, orhogonal funcions, and so
More informationQuery Answering over Fact Bases for Fuzzy Interval Ontologies
Query Answering over Fac Bases for Fuzzy Inerval Onologies Gerald S. Plesniewicz, Vu Nguen Thi Min, Dmiry Masherov Naional Research Universiy MPEI e-mail1: salve777@mail.ru Absrac. Temporal onologies conain
More informationIB Physics Kinematics Worksheet
IB Physics Kinemaics Workshee Wrie full soluions and noes for muliple choice answers. Do no use a calculaor for muliple choice answers. 1. Which of he following is a correc definiion of average acceleraion?
More informationZürich. ETH Master Course: L Autonomous Mobile Robots Localization II
Roland Siegwar Margaria Chli Paul Furgale Marco Huer Marin Rufli Davide Scaramuzza ETH Maser Course: 151-0854-00L Auonomous Mobile Robos Localizaion II ACT and SEE For all do, (predicion updae / ACT),
More informationPhys 221 Fall Chapter 2. Motion in One Dimension. 2014, 2005 A. Dzyubenko Brooks/Cole
Phys 221 Fall 2014 Chaper 2 Moion in One Dimension 2014, 2005 A. Dzyubenko 2004 Brooks/Cole 1 Kinemaics Kinemaics, a par of classical mechanics: Describes moion in erms of space and ime Ignores he agen
More informationINTRODUCTION TO MACHINE LEARNING 3RD EDITION
ETHEM ALPAYDIN The MIT Press, 2014 Lecure Slides for INTRODUCTION TO MACHINE LEARNING 3RD EDITION alpaydin@boun.edu.r hp://www.cmpe.boun.edu.r/~ehem/i2ml3e CHAPTER 2: SUPERVISED LEARNING Learning a Class
More informationApproximation Algorithms for Unique Games via Orthogonal Separators
Approximaion Algorihms for Unique Games via Orhogonal Separaors Lecure noes by Konsanin Makarychev. Lecure noes are based on he papers [CMM06a, CMM06b, LM4]. Unique Games In hese lecure noes, we define
More informationMatlab and Python programming: how to get started
Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,
More information4.6 One Dimensional Kinematics and Integration
4.6 One Dimensional Kinemaics and Inegraion When he acceleraion a( of an objec is a non-consan funcion of ime, we would like o deermine he ime dependence of he posiion funcion x( and he x -componen of
More informationt 2 B F x,t n dsdt t u x,t dxdt
Evoluion Equaions For 0, fixed, le U U0, where U denoes a bounded open se in R n.suppose ha U is filled wih a maerial in which a conaminan is being ranspored by various means including diffusion and convecion.
More informationRemoving Useless Productions of a Context Free Grammar through Petri Net
Journal of Compuer Science 3 (7): 494-498, 2007 ISSN 1549-3636 2007 Science Publicaions Removing Useless Producions of a Conex Free Grammar hrough Peri Ne Mansoor Al-A'ali and Ali A Khan Deparmen of Compuer
More informationMean-square Stability Control for Networked Systems with Stochastic Time Delay
JOURNAL OF SIMULAION VOL. 5 NO. May 7 Mean-square Sabiliy Conrol for Newored Sysems wih Sochasic ime Delay YAO Hejun YUAN Fushun School of Mahemaics and Saisics Anyang Normal Universiy Anyang Henan. 455
More informationElectrical and current self-induction
Elecrical and curren self-inducion F. F. Mende hp://fmnauka.narod.ru/works.hml mende_fedor@mail.ru Absrac The aricle considers he self-inducance of reacive elemens. Elecrical self-inducion To he laws of
More informationComputer-Aided Analysis of Electronic Circuits Course Notes 3
Gheorghe Asachi Technical Universiy of Iasi Faculy of Elecronics, Telecommunicaions and Informaion Technologies Compuer-Aided Analysis of Elecronic Circuis Course Noes 3 Bachelor: Telecommunicaion Technologies
More informationMath From Scratch Lesson 34: Isolating Variables
Mah From Scrach Lesson 34: Isolaing Variables W. Blaine Dowler July 25, 2013 Conens 1 Order of Operaions 1 1.1 Muliplicaion and Addiion..................... 1 1.2 Division and Subracion.......................
More informationarxiv: v1 [math.fa] 9 Dec 2018
AN INVERSE FUNCTION THEOREM CONVERSE arxiv:1812.03561v1 [mah.fa] 9 Dec 2018 JIMMIE LAWSON Absrac. We esablish he following converse of he well-known inverse funcion heorem. Le g : U V and f : V U be inverse
More informationLab #2: Kinematics in 1-Dimension
Reading Assignmen: Chaper 2, Secions 2-1 hrough 2-8 Lab #2: Kinemaics in 1-Dimension Inroducion: The sudy of moion is broken ino wo main areas of sudy kinemaics and dynamics. Kinemaics is he descripion
More information5.2. The Natural Logarithm. Solution
5.2 The Naural Logarihm The number e is an irraional number, similar in naure o π. Is non-erminaing, non-repeaing value is e 2.718 281 828 59. Like π, e also occurs frequenly in naural phenomena. In fac,
More informationTimed Circuits. Asynchronous Circuit Design. Timing Relationships. A Simple Example. Timed States. Timing Sequences. ({r 6 },t6 = 1.
Timed Circuis Asynchronous Circui Design Chris J. Myers Lecure 7: Timed Circuis Chaper 7 Previous mehods only use limied knowledge of delays. Very robus sysems, bu exremely conservaive. Large funcional
More informationT L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB
Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal
More informationChapter 15: Phenomena. Chapter 15 Chemical Kinetics. Reaction Rates. Reaction Rates R P. Reaction Rates. Rate Laws
Chaper 5: Phenomena Phenomena: The reacion (aq) + B(aq) C(aq) was sudied a wo differen emperaures (98 K and 35 K). For each emperaure he reacion was sared by puing differen concenraions of he 3 species
More informationI. Introduction to place/transition nets. Place/Transition Nets I. Example: a vending machine. Example: a vending machine
Inroducory Tuorial I. Inroducion o place/ransiion nes Place/Transiion Nes I Prepared by: Jörg Desel, Caholic Universiy in Eichsä and Karsen Schmid, Humbold-Universiä zu Berlin Speaker: Wolfgang Reisig,
More informationFinish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!
MAT 257, Handou 6: Ocober 7-2, 20. I. Assignmen. Finish reading Chaper 2 of Spiva, rereading earlier secions as necessary. handou and fill in some missing deails! II. Higher derivaives. Also, read his
More informationOrdinary Differential Equations
Ordinary Differenial Equaions 5. Examples of linear differenial equaions and heir applicaions We consider some examples of sysems of linear differenial equaions wih consan coefficiens y = a y +... + a
More informationOnline Convex Optimization Example And Follow-The-Leader
CSE599s, Spring 2014, Online Learning Lecure 2-04/03/2014 Online Convex Opimizaion Example And Follow-The-Leader Lecurer: Brendan McMahan Scribe: Sephen Joe Jonany 1 Review of Online Convex Opimizaion
More informationOn Multicomponent System Reliability with Microshocks - Microdamages Type of Components Interaction
On Mulicomponen Sysem Reliabiliy wih Microshocks - Microdamages Type of Componens Ineracion Jerzy K. Filus, and Lidia Z. Filus Absrac Consider a wo componen parallel sysem. The defined new sochasic dependences
More informationFinal Spring 2007
.615 Final Spring 7 Overview The purpose of he final exam is o calculae he MHD β limi in a high-bea oroidal okamak agains he dangerous n = 1 exernal ballooning-kink mode. Effecively, his corresponds o
More informationWEEK-3 Recitation PHYS 131. of the projectile s velocity remains constant throughout the motion, since the acceleration a x
WEEK-3 Reciaion PHYS 131 Ch. 3: FOC 1, 3, 4, 6, 14. Problems 9, 37, 41 & 71 and Ch. 4: FOC 1, 3, 5, 8. Problems 3, 5 & 16. Feb 8, 018 Ch. 3: FOC 1, 3, 4, 6, 14. 1. (a) The horizonal componen of he projecile
More informationOn a Discrete-In-Time Order Level Inventory Model for Items with Random Deterioration
Journal of Agriculure and Life Sciences Vol., No. ; June 4 On a Discree-In-Time Order Level Invenory Model for Iems wih Random Deerioraion Dr Biswaranjan Mandal Associae Professor of Mahemaics Acharya
More informationRoughness in ordered Semigroups. Muhammad Shabir and Shumaila Irshad
World Applied Sciences Journal 22 (Special Issue of Applied Mah): 84-105, 2013 ISSN 1818-4952 IDOSI Publicaions, 2013 DOI: 105829/idosiwasj22am102013 Roughness in ordered Semigroups Muhammad Shabir and
More informationThe Arcsine Distribution
The Arcsine Disribuion Chris H. Rycrof Ocober 6, 006 A common heme of he class has been ha he saisics of single walker are ofen very differen from hose of an ensemble of walkers. On he firs homework, we
More informationChapter 2. First Order Scalar Equations
Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.
More information23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes
Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationThis document was generated at 1:04 PM, 09/10/13 Copyright 2013 Richard T. Woodward. 4. End points and transversality conditions AGEC
his documen was generaed a 1:4 PM, 9/1/13 Copyrigh 213 Richard. Woodward 4. End poins and ransversaliy condiions AGEC 637-213 F z d Recall from Lecure 3 ha a ypical opimal conrol problem is o maimize (,,
More informationAsymptotic Equipartition Property - Seminar 3, part 1
Asympoic Equipariion Propery - Seminar 3, par 1 Ocober 22, 2013 Problem 1 (Calculaion of ypical se) To clarify he noion of a ypical se A (n) ε and he smalles se of high probabiliy B (n), we will calculae
More information3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon
3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of
More informationUndetermined coefficients for local fractional differential equations
Available online a www.isr-publicaions.com/jmcs J. Mah. Compuer Sci. 16 (2016), 140 146 Research Aricle Undeermined coefficiens for local fracional differenial equaions Roshdi Khalil a,, Mohammed Al Horani
More informationLecture 4 Notes (Little s Theorem)
Lecure 4 Noes (Lile s Theorem) This lecure concerns one of he mos imporan (and simples) heorems in Queuing Theory, Lile s Theorem. More informaion can be found in he course book, Bersekas & Gallagher,
More information4.5 Constant Acceleration
4.5 Consan Acceleraion v() v() = v 0 + a a() a a() = a v 0 Area = a (a) (b) Figure 4.8 Consan acceleraion: (a) velociy, (b) acceleraion When he x -componen of he velociy is a linear funcion (Figure 4.8(a)),
More informationOn fuzzy normed algebras
Available online a www.jnsa.com J. Nonlinear Sci. Appl. 9 (2016), 5488 5496 Research Aricle On fuzzy normed algebras Tudor Bînzar a,, Flavius Paer a, Sorin Nădăban b a Deparmen of Mahemaics, Poliehnica
More informationApplying Genetic Algorithms for Inventory Lot-Sizing Problem with Supplier Selection under Storage Capacity Constraints
IJCSI Inernaional Journal of Compuer Science Issues, Vol 9, Issue 1, No 1, January 2012 wwwijcsiorg 18 Applying Geneic Algorihms for Invenory Lo-Sizing Problem wih Supplier Selecion under Sorage Capaciy
More informationDecentralized Stochastic Control with Partial History Sharing: A Common Information Approach
1 Decenralized Sochasic Conrol wih Parial Hisory Sharing: A Common Informaion Approach Ashuosh Nayyar, Adiya Mahajan and Demoshenis Tenekezis arxiv:1209.1695v1 [cs.sy] 8 Sep 2012 Absrac A general model
More informationSignal and System (Chapter 3. Continuous-Time Systems)
Signal and Sysem (Chaper 3. Coninuous-Time Sysems) Prof. Kwang-Chun Ho kwangho@hansung.ac.kr Tel: 0-760-453 Fax:0-760-4435 1 Dep. Elecronics and Informaion Eng. 1 Nodes, Branches, Loops A nework wih b
More informationSymmetry and Numerical Solutions for Systems of Non-linear Reaction Diffusion Equations
Symmery and Numerical Soluions for Sysems of Non-linear Reacion Diffusion Equaions Sanjeev Kumar* and Ravendra Singh Deparmen of Mahemaics, (Dr. B. R. Ambedkar niversiy, Agra), I. B. S. Khandari, Agra-8
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
More informationAn Introduction to Malliavin calculus and its applications
An Inroducion o Malliavin calculus and is applicaions Lecure 5: Smoohness of he densiy and Hörmander s heorem David Nualar Deparmen of Mahemaics Kansas Universiy Universiy of Wyoming Summer School 214
More informationEssential Maps and Coincidence Principles for General Classes of Maps
Filoma 31:11 (2017), 3553 3558 hps://doi.org/10.2298/fil1711553o Published by Faculy of Sciences Mahemaics, Universiy of Niš, Serbia Available a: hp://www.pmf.ni.ac.rs/filoma Essenial Maps Coincidence
More informationADDITIONAL PROBLEMS (a) Find the Fourier transform of the half-cosine pulse shown in Fig. 2.40(a). Additional Problems 91
ddiional Problems 9 n inverse relaionship exiss beween he ime-domain and freuency-domain descripions of a signal. Whenever an operaion is performed on he waveform of a signal in he ime domain, a corresponding
More informationSTABILITY OF PEXIDERIZED QUADRATIC FUNCTIONAL EQUATION IN NON-ARCHIMEDEAN FUZZY NORMED SPASES
Novi Sad J. Mah. Vol. 46, No. 1, 2016, 15-25 STABILITY OF PEXIDERIZED QUADRATIC FUNCTIONAL EQUATION IN NON-ARCHIMEDEAN FUZZY NORMED SPASES N. Eghbali 1 Absrac. We deermine some sabiliy resuls concerning
More informationWHEN LINEAR AND WEAK DISCREPANCY ARE EQUAL
WHEN LINEAR AND WEAK DISCREPANCY ARE EQUAL DAVID M. HOWARD AND STEPHEN J. YOUNG Absrac. The linear discrepancy of a pose P is he leas k such ha here is a linear exension L of P such ha if x and y are incomparable,
More informationInventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions
Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.
More informationMartingales Stopping Time Processes
IOSR Journal of Mahemaics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765. Volume 11, Issue 1 Ver. II (Jan - Feb. 2015), PP 59-64 www.iosrjournals.org Maringales Sopping Time Processes I. Fulaan Deparmen
More informationA New Kind of Fuzzy Sublattice (Ideal, Filter) of A Lattice
nernaional Journal of Fuzzy Sysems Vol 3 No March 2 55 A New Kind of Fuzzy Sublaice (deal Filer) of A Laice B Davvaz O Kazanci Absrac Our aim in his paper is o inroduce sudy a new sor of fuzzy sublaice
More informationEfficient Matching for State-Persistent Publish/Subscribe Systems
Efficien Maching for Sae-Persisen Publish/Subscribe Sysems Absrac Huber Ka Yau Leung IBM Torono Lab hkyleung@ca.ibm.com Conen-based publish/subscribe sysems allow informaion disseminaion and fine-grained
More informationBBP-type formulas, in general bases, for arctangents of real numbers
Noes on Number Theory and Discree Mahemaics Vol. 19, 13, No. 3, 33 54 BBP-ype formulas, in general bases, for arcangens of real numbers Kunle Adegoke 1 and Olawanle Layeni 2 1 Deparmen of Physics, Obafemi
More informationTHE GEOMETRY MONOID OF AN IDENTITY
THE GEOMETRY MONOID OF AN IDENTITY Parick DEHORNOY Universié decaen Main idea: For each algebraic ideniy I, (more generally, for each family of algebraic ideniy, acually for each equaional variey), here
More information