Basic propositional and. The fundamentals of deduction
|
|
- Hester Terry
- 6 years ago
- Views:
Transcription
1 Baic ooitional and edicate logic The fundamental of deduction 1
2 Logic and it alication Logic i the tudy of the atten of deduction Logic lay two main ole in comutation: Modeling : logical entence ae the building block of comutation model Analyzing: logic oof ae fundamental fo eaoning about, and infeing oetie of comutational ytem model 2
3 Baic element in logic Declaative entence alo called ooition I any tatement which can be unambiguouly detemined to be eithe Tue o Fale Logical connective Connect logical tatement. Thee ae fou logical connective NAME Semantic Symbol Negation NO Conjunction Dijunction Imlication AND OR IF THEN 3
4 Atomic and comound entence An atomic entence i a ooition that doe not contain any logical connective Examle: A: 3 > 4 Thi i clealy a fale atomic entence A comound entence i a ooition comoed by two o moe entence linked with logical connective Examle: A: 3 > 4 2 > 3 Thi i a comound ooition ince it ha an imlication, but I thi ooition tue o fale? 4
5 oof ytem The eviou quetion cannot be oely anwe without a well-etablihed oof Sytem A oof ytem i a et of ule and oeation fo detemining the tuth value of a comound entence out of the tuth value of it atomic contituent Examle of oof ytem ae: Boolean algeba to be eviewed oon Natual deduction modu onen, modu tollen, etc. Not in the coe of thi coue 5
6 Vaiable In cience, vaiable ae lace holde of value. A uch, vaiable have: Meaning what the ymbol eeent Value any value in the domain of the vaiable Examle: Let eeent the hyical concet of time with a vaiable. Let t be the ymbol denoting the time The natual domain of t i the et of all nonnegative eal numbe. We wite: t : time when defining the meaning of ymbol t t = 1.25 econd when evaluating i.e. chooing a value in the domain of t 6
7 Boolean Vaiable A Boolean vaiable i any vaiable whoe domain i the et {0, 1} i.e. can take only the value 0 o 1 ooition ae nomally eeented by Boolean vaiable. The value that uch vaiable take ae conventionally inteeted a 0 if the ooition i fale and 1 if the ooition i tue Examle of a Boolean vaiable A : 3 i le than 3.2 meaning of ymbol A A = 1 value of A 7
8 ooitional v. edicate logic ooitional logic deal olely with ooition and logical connective Examle: A: 3 < 4 Clealy A=1 edicate logic add edicate and quantifie A edicate i a logical tatement that deend on one o moe vaiable not neceaily Boolean vaiable Examle: B y : x i le than y The definition and value of B y deend on x and y If x = 3 and y = 4, then B y = B3, 4 = 1 If x = 4 and y = 3, then B y = B4, 3 = 0 If x = + and y = /, the B y i in incile undefined 8
9 uantifie uantifie ae ued to declae ange of a edicate vaiable in which the edicate aume eithe 0 o 1, but no both. A edicate with no quantifie i aid to be a fee edicate Thee ae two quantifie NAME SEMANTIC SYMBOL Univeal Exitential FOR ALL THERE EXISTS 9
10 Illutation: ue of quantifie Conide the fee edicate A y:" x < y x < 2 y whee x and y ae eal numbe. Some value fo thi edicate ae: A.5,.9 = 1 A.5,.6 = 0 A.6,.5 = 1 A.9,.93 = 0 A.9,.96 = 1 " By imoing quantifie we may oduce the following tue edicate: B y :" x x 1 A y" C y :" y0 x y D y :" x x < E y :" y0 0 A y" 2 x < 1 A y" 2 x x < y < 1 A y" Remak: A edicate that i alway tue o alway fale can be teated a a ooition that i tue o fale, eectively. Thi i, it can be evaluated and analyzed with the tool of ooitional logic 10
11 ooitional logic A logical theoy that involve only ooition i.e. it ha no edicate i called ooitional Logic Thee ae two main veion of ooitional Logic: Semantic ooitional logic ooitional calculu Thee two veion diffe only in thei oof ule oof in emantic ooitional logic ae baed on Boolean algeba oof in ooitional calculu ae baed on the ocalled ule of natual deduction 11
12 Tuth table and valuation A valuation of a entence i an aignment any aignment of tuth value to the tatement that comoe the entence If we combine two tatement with a logical connective, the value of the eulting comound tatement i detemined by two thing: The choen valuation The emantic meaning of the logical connective The meaning of each connective unde all oible valuation i declaed in a tuth table 12
13 The tuth table of negation The imlet cae of tuth value i negation. In thi cae, thee i only one entence, and theefoe, only two oible valuation. The emantic i alo vey natual: if the entence i tue, it negation i fale, and vice vea. Thu, the tuth table of negation i imly A A
14 Dijunction and conjunction tuth table A B A B A B A B Thee ae fou oible valuation in each of thee cae 14
15 Imlication tuth table: Hyothei->Thei In imlication, the vaiable A eeent a hyothei tatement while the vaiable B, a thei tatement A B A B The fit two ow in thi table indicate that when the hyothei i fale, the imlication will not diciminate between a tue o a fale thei. It will alway etun tue. Thee ae called vacuouly tue imlication The econd two ow tell a diffeent toy. In thi cae a we alway hoe in actice the hyothei i tue. Then, the tuth value of the thei i faithfully eflected in the value of the imlication. If the thei i fale, o i the imlication, and vice vea. 15
16 Comuting with tuth table We ae now in oition to anwe the quetion I A : 3 < 4 2 < 3 tue o fale? Anwe: Identify the atomic entence that comoe A. Let B : 3 < 4, and C : 2 < 3 Now, we ee that A ha the fom B C Since B = 0 and C = 0, fom the vey fit ow of the table of imlication we conclude that A i Tue although vacuouly! I thee a valuation making the tatement tue? Ye: =0, =1 16
17 Equivalence between ooition Two ooition A and B ae aid to be equivalent if thei tuth value ae the ame in all oible valuation. Equivalence i denoted A B Equivalence i not the ame a equality: two ooition may be equivalent even if they diffe in thei meaning Equivalence i a hothand fo A B B A 17
18 Imotant equivalence Conjunctive fom of imlication Contaoitive fom of De Mogan ule Ditibutive ule R R imlication Idemotency ule Aociative ule Commutative ule 18 R R R R R R
19 Some alication Demontate that i equivalent to Demontate that i equivalent to q q oof: 19 oof: q q q q q q q
20 The negation of a edicate Negating a edicate that contain quantifie demand, in addition, the ue of the emantic table Thee negation ule mut be alied togethe with the eviouly dicued equivalence, when teating edicate a ooition UANTIFIER Univeal Exitential NEGATION Exitential Univeal 20
21 Yet anothe imotant equivalence The next equivalence decibe the actual negation oeation fo elemental edicate with quantifie Let x, y,..., z be a edicate. Then, y,..., z y,..., z x y,..., z y,..., z x y... z y,..., z y... z y,..., z 21
22 Illutation Let conide the negation of B :" x1 x A y" whee 2 2 A y :" x < y x < y " Anwe: B x1 x A y Remak: thi i, a exected, a fale tatement The infomal exeion y i a hot hand fo x y In geneal, the ymbol, i a to be taken a a hot hand fo and Thu, y x y and y0 x y 1 A y x y0 x y 1 A y 22
23 Comoed quantifie Alo common ae edicate whoe quantifie i a comoition of the univeal and the exitential quantifie Fo each x thee i a y uch that y i tue x y x, y Thee i an x uch that fo all y y i tue Thei negation ae Reectively x y x, y x x y y x x,, y y, and 23
24 Boolean fomula A Boolean fomula i a well-fomed combination of Boolean vaiable and logical connective q The combination I a Boolean fomula The combination q I not a Boolean fomula Any eeentation of a ooition in tem of Boolean vaiable and logical connective yield a Boolean fomula. 24
25 Two imotant oblem Given a combination of ymbol and logical connective: I it a Boolean fomula? Domain: A et of ymbol and logical connective Intance: A ting of ymbol and logical connective uetion: I the ting a Boolean fomula? Given a Boolean fomula: can we find a valuation that make it tue? Domain: All Boolean fomula Intance: A Boolean fomula uetion: I thee a valuation that make the fomula tue? 25
Conjunctive Normal Form & Horn Clauses
Conjunctive Noal Fo & Hon Claue ok Univeity CSE 3401 Vida Movahedi ok Univeity- CSE 3401- V Movahedi 02-CNF & Hon 1 Oveview Definition of liteal claue and CNF Conveion to CNF- Pooitional logic Reeentation
More informationImage Enhancement: Histogram-based methods
Image Enhancement: Hitogam-baed method The hitogam of a digital image with gayvalue, i the dicete function,, L n n # ixel with value Total # ixel image The function eeent the faction of the total numbe
More informationψ - exponential type orbitals, Frictional
ew develoment in theoy of Laguee olynomial I. I. Gueinov Deatment of Phyic, Faculty of At and Science, Onekiz Mat Univeity, Çanakkale, Tukey Abtact The new comlete othonomal et of L -Laguee tye olynomial
More informationV V The circumflex (^) tells us this is a unit vector
Vecto Vecto have Diection and Magnitude Mike ailey mjb@c.oegontate.edu Magnitude: V V V V x y z vecto.pptx Vecto Can lo e Defined a the oitional Diffeence etween Two oint 3 Unit Vecto have a Magnitude
More informationSolutions Practice Test PHYS 211 Exam 2
Solution Pactice Tet PHYS 11 Exam 1A We can plit thi poblem up into two pat, each one dealing with a epaate axi. Fo both the x- and y- axe, we have two foce (one given, one unknown) and we get the following
More informationPledge: Signature:
S 202, Sing 2005 Midtem 1: 24 eb 2005 Page 1/8 Name: KEY E-mail D: @viginia.edu Pledge: Signatue: Thee ae 75 minutes fo this exam and 100 oints on the test; don t send too long on any one uestion! The
More informationarxiv: v1 [cs.lo] 11 Aug 2017
STAR HEIGHT VIA GAMES MIKO LAJ BOJAŃCZYK axiv:1708.03603v1 [c.lo] 11 Aug 2017 Abtact. Thi ae ooe a new algoithm deciding the ta height oblem. A hown by Kiten, the ta height oblem educe to a oblem concening
More informationChapter 8 Sampling. Contents. Dr. Norrarat Wattanamongkhol. Lecturer. Department of Electrical Engineering, Engineering Faculty, sampling
Content Chate 8 Samling Lectue D Noaat Wattanamongkhol Samling Theoem Samling of Continuou-Time Signal 3 Poceing Continuou-Time Signal 4 Samling of Dicete-Time Signal 5 Multi-ate Samling Deatment of Electical
More informationThen the number of elements of S of weight n is exactly the number of compositions of n into k parts.
Geneating Function In a geneal combinatoial poblem, we have a univee S of object, and we want to count the numbe of object with a cetain popety. Fo example, if S i the et of all gaph, we might want to
More informationGravity. David Barwacz 7778 Thornapple Bayou SE, Grand Rapids, MI David Barwacz 12/03/2003
avity David Bawacz 7778 Thonapple Bayou, and Rapid, MI 495 David Bawacz /3/3 http://membe.titon.net/daveb Uing the concept dicued in the peceding pape ( http://membe.titon.net/daveb ), I will now deive
More informationChapter 19 Webassign Help Problems
Chapte 9 Webaign Help Poblem 4 5 6 7 8 9 0 Poblem 4: The pictue fo thi poblem i a bit mileading. They eally jut give you the pictue fo Pat b. So let fix that. Hee i the pictue fo Pat (a): Pat (a) imply
More information556: MATHEMATICAL STATISTICS I
556: MATHEMATICAL STATISTICS I CHAPTER 5: STOCHASTIC CONVERGENCE The following efinitions ae state in tems of scala anom vaiables, but exten natually to vecto anom vaiables efine on the same obability
More informationEstimation and Confidence Intervals: Additional Topics
Chapte 8 Etimation and Confidence Inteval: Additional Topic Thi chapte imply follow the method in Chapte 7 fo foming confidence inteval The text i a bit dioganized hee o hopefully we can implify Etimation:
More informationTheorem 2: Proof: Note 1: Proof: Note 2:
A New 3-Dimenional Polynomial Intepolation Method: An Algoithmic Appoach Amitava Chattejee* and Rupak Bhattachayya** A new 3-dimenional intepolation method i intoduced in thi pape. Coeponding to the method
More informationHistogram Processing
Hitogam Poceing Lectue 4 (Chapte 3) Hitogam Poceing The hitogam of a digital image with gay level fom to L- i a dicete function h( )=n, whee: i the th gay level n i the numbe of pixel in the image with
More informationINFLUENCE OF DESIGN DATA OF INDUCTION MOTOR ON EFFECTS OF CAGE ASYMMETRY
Pace Nauowe Intytutu Mazyn, Naędów i Pomiaów Eletycznych N 66 Politechnii Wocławiej N 66 Studia i Mateiały N 3 1 Alejando FERNANDEZ GOMEZ* Tadeuz J. SOBCZYK* induction moto, oto cage aymmety, cage moto
More informationThe Normal Stress Dıstribution in an Infinite. Elastic Body with a Locally Curved and Hollow. Fiber under Geometrical Nonlinear Statement
Nonlinea Analyi and Diffeential quation Vol. 4 06 no. 6 95-04 HIKARI td www.m-hikai.com htt://dx.doi.og/0.988/nade.06.656 The Nomal Ste Dıtibution in an Infinite latic Body with a ocally Cuved and Hollow
More informationCMSC 425: Lecture 5 More on Geometry and Geometric Programming
CMSC 425: Lectue 5 Moe on Geomety and Geometic Pogamming Moe Geometic Pogamming: In this lectue we continue the discussion of basic geometic ogamming fom the eious lectue. We will discuss coodinate systems
More informationOn the Efficiency of Markets with Two-sided Proportional Allocation Mechanisms
On the Efficiency of Maket with Two-ided Pootional Allocation Mechanim Volodymy Kulehov and Adian Vetta Deatment of Mathematic and Statitic, and School of Comute Science, McGill Univeity volodymy.kulehov@mail.mcgill.ca,
More informationRotational Kinetic Energy
Add Impotant Rotational Kinetic Enegy Page: 353 NGSS Standad: N/A Rotational Kinetic Enegy MA Cuiculum Famewok (006):.1,.,.3 AP Phyic 1 Leaning Objective: N/A, but olling poblem have appeaed on peviou
More informationOnline-routing on the butterfly network: probabilistic analysis
Online-outing on the buttefly netwok: obabilistic analysis Andey Gubichev 19.09.008 Contents 1 Intoduction: definitions 1 Aveage case behavio of the geedy algoithm 3.1 Bounds on congestion................................
More informationAnalysis of Arithmetic. Analysis of Arithmetic. Analysis of Arithmetic Round-Off Errors. Analysis of Arithmetic. Analysis of Arithmetic
In the fixed-oint imlementation of a digital filte only the esult of the multilication oeation is quantied The eesentation of a actical multilie with the quantie at its outut is shown below u v Q ^v The
More informationFall 2004/05 Solutions to Assignment 5: The Stationary Phase Method Provided by Mustafa Sabri Kilic. I(x) = e ixt e it5 /5 dt (1) Z J(λ) =
8.35 Fall 24/5 Solution to Aignment 5: The Stationay Phae Method Povided by Mutafa Sabi Kilic. Find the leading tem fo each of the integal below fo λ >>. (a) R eiλt3 dt (b) R e iλt2 dt (c) R eiλ co t dt
More informationDorin Andrica Faculty of Mathematics and Computer Science, Babeş-Bolyai University, Cluj-Napoca, Romania
#A INTEGERS 5A (05) THE SIGNUM EQUATION FOR ERDŐS-SURÁNYI SEQUENCES Doin Andica Faculty of Mathematics and Comute Science, Babeş-Bolyai Univesity, Cluj-Naoca, Romania dandica@math.ubbcluj.o Eugen J. Ionascu
More informationMATHEMATICAL MODEL FOR THE BLOOD FLOW IN CAPILLARY VESSELS
MATHEMATICAL MODEL FO THE BLOOD FLOW IN CAPILLAY VESSELS. Sonia PETILA. Bala ALBET. Tibeiu Pooviciu Infomatic Highchool Cluj-Naoca OMANIA. Univeity Babe-Bolyai Cluj-Naoca OMANIA Abtact: In thi ae we develo
More information18.06 Problem Set 4 Solution
8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since
More informationGoodness-of-fit for composite hypotheses.
Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test
More informationWell-Posedness of Feedback Loop:
ntena Stabiity We-oedne of Feedback Loop: onide the foowing feedback ytem - u u p d i d y Let be both pope tanfe function. Howeve u n d di 3 3 ote that the tanfe function fom the extena igna n d d to u
More informationHow can you find the dimensions of a square or a circle when you are given its area? When you multiply a number by itself, you square the number.
7. Finding Squae Root How can you find the dimenion of a quae o a cicle when you ae given it aea? When you multiply a numbe by itelf, you quae the numbe. Symbol fo quaing i the exponent. = = 6 quaed i
More informationIn statistical computations it is desirable to have a simplified system of notation to avoid complicated formulas describing mathematical operations.
Chapte 1 STATISTICAL NOTATION AND ORGANIZATION 11 Summation Notation fo a One-Way Classification In statistical computations it is desiable to have a simplified system of notation to avoid complicated
More informationSection 25 Describing Rotational Motion
Section 25 Decibing Rotational Motion What do object do and wh do the do it? We have a ve thoough eplanation in tem of kinematic, foce, eneg and momentum. Thi include Newton thee law of motion and two
More informationFigure 1 Siemens PSSE Web Site
Stability Analyi of Dynamic Sytem. In the lat few lecture we have een how mall ignal Lalace domain model may be contructed of the dynamic erformance of ower ytem. The tability of uch ytem i a matter of
More informationAppendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk
Appendix A Appendices A1 ɛ and coss poducts A11 Vecto Opeations: δ ij and ɛ These ae some notes on the use of the antisymmetic symbol ɛ fo expessing coss poducts This is an extemely poweful tool fo manipulating
More informationSecond Order Fuzzy S-Hausdorff Spaces
Inten J Fuzzy Mathematical Achive Vol 1, 013, 41-48 ISSN: 30-34 (P), 30-350 (online) Publihed on 9 Febuay 013 wwweeachmathciog Intenational Jounal o Second Ode Fuzzy S-Haudo Space AKalaichelvi Depatment
More informationProblem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8
Poblem Set #0 Math 47 Real Analysis Assignment: Chate 8 #2, 3, 6, 8 Clayton J. Lungstum Decembe, 202 xecise 8.2 Pove the convese of Hölde s inequality fo = and =. Show also that fo eal-valued f / L ),
More informationChapter Eight Notes N P U1C8S4-6
Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that
More informationThe second law of thermodynamics - II.
Januay 21, 2013 The second law of themodynamics - II. Asaf Pe e 1 1. The Schottky defect At absolute zeo tempeatue, the atoms of a solid ae odeed completely egulaly on a cystal lattice. As the tempeatue
More informationComputational Geometry. Kirkpatrick-Seidel s Prune-and-Search Convex Hull Algorithm
COSC 6114 Coutational Geoety Kikatick-Seidel Pune-and-Seach Convex Hull Algoith Intoduction Thi note concen the coutation of the convex hull of a given et P ={ 1, 2,..., n }of n oint in the lane. et h
More informationPrecision Spectrophotometry
Peciion Spectophotomety Pupoe The pinciple of peciion pectophotomety ae illutated in thi expeiment by the detemination of chomium (III). ppaatu Spectophotomete (B&L Spec 20 D) Cuvette (minimum 2) Pipet:
More informationA Simplifier for Propositional Formulas with Many Binary Clauses
A Simlifie fo Pooitional Fomula ith Many Binay Claue Ronen I. Bafman Abtact Deciding hethe a ooitional fomula in conjunctive nomal fom i atifiable (SAT) i an NP-comlete oblem. The oblem become linea hen
More information22.615, MHD Theory of Fusion Systems Prof. Freidberg Lecture 18
.65, MHD Theoy of Fuion Sytem Pof. Feidbeg Lectue 8. Deive δw fo geneal cew pinch. Deive Suydam citeion Scew Pinch Equilibia μ p + + ( ) = μ J = μ J= Stability ( ) m k ξ=ξ e ι +ι ξ=ξ e +ξ e +ξ e =ξ +ξ
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationF-IF Logistic Growth Model, Abstract Version
F-IF Logistic Gowth Model, Abstact Vesion Alignments to Content Standads: F-IFB4 Task An impotant example of a model often used in biology o ecology to model population gowth is called the logistic gowth
More informationProperties of the natural logarithm and exponential functions
Poeties of the natual logaithm an eonential functions Define fo ositive the function A() as the aea fom to une the hyeolay Since thee is no with, A() 0 By efinition the eivative of A() is given y the limit
More informationProblem Set 8 Solutions
Deign and Analyi of Algorithm April 29, 2015 Maachuett Intitute of Technology 6.046J/18.410J Prof. Erik Demaine, Srini Devada, and Nancy Lynch Problem Set 8 Solution Problem Set 8 Solution Thi problem
More informationof the contestants play as Falco, and 1 6
JHMT 05 Algeba Test Solutions 4 Febuay 05. In a Supe Smash Bothes tounament, of the contestants play as Fox, 3 of the contestants play as Falco, and 6 of the contestants play as Peach. Given that thee
More informationNew problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationRecognizable Infinite Triangular Array Languages
IOSR Jounal of Mathematics (IOSR-JM) e-issn: 2278-5728, -ISSN: 2319-765X. Volume 14, Issue 1 Ve. I (Jan. - Feb. 2018), PP 01-10 www.iosjounals.og Recognizable Infinite iangula Aay Languages 1 V.Devi Rajaselvi,
More informationASTR 3740 Relativity & Cosmology Spring Answers to Problem Set 4.
ASTR 3740 Relativity & Comology Sping 019. Anwe to Poblem Set 4. 1. Tajectoie of paticle in the Schwazchild geomety The equation of motion fo a maive paticle feely falling in the Schwazchild geomety ae
More informationOn the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms
On the Efficiency of Maket with Two-Sided Pootional Allocation Mechanim Volodymy Kulehov and Adian Vetta May 10, 2010 Abtact. We analyze the efomance of ingle-aamete mechanim fo maket in which thee i cometition
More informationMarkscheme May 2017 Calculus Higher level Paper 3
M7/5/MATHL/HP3/ENG/TZ0/SE/M Makscheme May 07 Calculus Highe level Pape 3 pages M7/5/MATHL/HP3/ENG/TZ0/SE/M This makscheme is the popety of the Intenational Baccalaueate and must not be epoduced o distibuted
More informationREPRESENTATION OF ALGEBRAIC STRUCTURES BY BOOLEAN FUNCTIONS. Logic and Applications 2015 (LAP 2015) September 21-25, 2015, Dubrovnik, Croatia
REPRESENTATION OF ALGEBRAIC STRUCTURES BY BOOLEAN FUNCTIONS SMILE MARKOVSKI Faculty of Computer Science and Engineering, S Ciryl and Methodiu Univerity in Skopje, MACEDONIA mile.markovki@gmail.com Logic
More informationVector d is a linear vector function of vector d when the following relationships hold:
Appendix 4 Dyadic Analysis DEFINITION ecto d is a linea vecto function of vecto d when the following elationships hold: d x = a xxd x + a xy d y + a xz d z d y = a yxd x + a yy d y + a yz d z d z = a zxd
More informationInference for A One Way Factorial Experiment. By Ed Stanek and Elaine Puleo
Infeence fo A One Way Factoial Expeiment By Ed Stanek and Elaine Puleo. Intoduction We develop etimating equation fo Facto Level mean in a completely andomized one way factoial expeiment. Thi development
More informationImpulse and Momentum
Impule and Momentum 1. A ca poee 20,000 unit of momentum. What would be the ca' new momentum if... A. it elocity wee doubled. B. it elocity wee tipled. C. it ma wee doubled (by adding moe paenge and a
More informationPushdown Automata (PDAs)
CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee
More informationMATH 415, WEEK 3: Parameter-Dependence and Bifurcations
MATH 415, WEEK 3: Paamete-Dependence and Bifucations 1 A Note on Paamete Dependence We should pause to make a bief note about the ole played in the study of dynamical systems by the system s paametes.
More informationProbabilistic number theory : A report on work done. What is the probability that a randomly chosen integer has no square factors?
Pobabilistic numbe theoy : A eot on wo done What is the obability that a andomly chosen intege has no squae factos? We can constuct an initial fomula to give us this value as follows: If a numbe is to
More informationPhysics 121 Hour Exam #5 Solution
Physics 2 Hou xam # Solution This exam consists of a five poblems on five pages. Point values ae given with each poblem. They add up to 99 points; you will get fee point to make a total of. In any given
More informationQ. Obtain the Hamiltonian for a one electron atom in the presence of an external magnetic field.
Syed Ashad Hussain Lectue Deatment of Physics Tiua Univesity www.sahussaintu.wodess.com Q. Obtain the Hamiltonian fo a one electon atom in the esence of an extenal magnetic field. To have an idea about
More informationNumerical solution of the first order linear fuzzy differential equations using He0s variational iteration method
Malaya Jounal of Matematik, Vol. 6, No. 1, 80-84, 2018 htts://doi.og/16637/mjm0601/0012 Numeical solution of the fist ode linea fuzzy diffeential equations using He0s vaiational iteation method M. Ramachandan1
More informationLot-sizing for inventory systems with product recovery
Lot-sizing fo inventoy systems with oduct ecovey Ruud Teunte August 29, 2003 Econometic Institute Reot EI2003-28 Abstact We study inventoy systems with oduct ecovey. Recoveed items ae as-good-as-new and
More informationarxiv:math/ v2 [math.ag] 21 Sep 2005
axiv:math/0509219v2 [math.ag] 21 Se 2005 POLYNOMIAL SYSTEMS SUPPORTED ON CIRCUITS AND DESSINS D ENFANTS FREDERIC BIHAN Abstact. We study olynomial systems whose equations have as common suot a set C of
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
More informationSolutions to Problem Set 8
Massachusetts Institute of Technology 6.042J/18.062J, Fall 05: Mathematics fo Compute Science Novembe 21 Pof. Albet R. Meye and Pof. Ronitt Rubinfeld evised Novembe 27, 2005, 858 minutes Solutions to Poblem
More informationForce & Motion: Newton s Laws
oce & otion: Newton Law ( t Law) If no net foce act on a body then the body velocity cannot change. Zeo net foce implie zeo acceleation. The ma of an object detemine how difficult it i to change the object
More informationWhen two numbers are written as the product of their prime factors, they are in factored form.
10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The
More informationone primary direction in which heat transfers (generally the smallest dimension) simple model good representation for solving engineering problems
CHAPTER 3: One-Dimenional Steady-State Conduction one pimay diection in which heat tanfe (geneally the mallet dimenion) imple model good epeentation fo olving engineeing poblem 3. Plane Wall 3.. hot fluid
More informationNoether Theorem, Noether Charge and All That
Noethe Theoem, Noethe Chage and All That Ceated fo PF by Samalkhaiat 10 Tanfomation Let G be a Lie goup whoe action on Minkowki pace-time fomally ealized by coodinate tanfomation ( ) ( 1,3,η) M i Infiniteimally,
More informationMultivariable Control Systems
Multivaiable Contol Sytem Ali Kaimpou Aociate ofeo Fedowi Univeity of Mahhad Refeence ae appeaed in the lat lide. Stability of Multivaiable Feedback Contol Sytem Topic to be coveed include: Well - oedne
More informationApproximating the minimum independent dominating set in perturbed graphs
Aoximating the minimum indeendent dominating set in etubed gahs Weitian Tong, Randy Goebel, Guohui Lin, Novembe 3, 013 Abstact We investigate the minimum indeendent dominating set in etubed gahs gg, )
More informationarxiv: v3 [math.co] 14 Oct 2010
Maximal Pivot on Gah with an Alication to Gene Aembly axiv:0909.3789v3 [math.co] 14 Oct 2010 Abtact Robet Bijde, Hendik Jan Hoogeboom Leiden Intitute of Advanced Comute Science, Leiden Univeity, The Netheland
More informationUsing Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu
Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of
More informationCross section dependence on ski pole sti ness
Coss section deendence on ski ole sti ness Johan Bystöm and Leonid Kuzmin Abstact Ski equiment oduce SWIX has ecently esented a new ai of ski oles, called SWIX Tiac, which di es fom conventional (ound)
More informationThe 2-Sylow subgroups of the tame kernel of imaginary quadratic fields
ACTA ARITHMETICA LXIX.2 1995 The 2-Sylow subgous of the tame kenel of imaginay uadatic fields by Houong Qin Nanjing To Pofesso Zhou Boxun Cheo Peh-hsuin on his 75th bithday 1. Intoduction. Let F be a numbe
More informationAP Physics Centripetal Acceleration
AP Phyic Centipetal Acceleation All of ou motion tudie thu fa hae dealt with taight-line tuff. We haen t dealt with thing changing diection duing thei tael. Thi type of motion i called angula motion. A
More informationChapter 2: Introduction to Implicit Equations
Habeman MTH 11 Section V: Paametic and Implicit Equations Chapte : Intoduction to Implicit Equations When we descibe cuves on the coodinate plane with algebaic equations, we can define the elationship
More informationA Fundamental Tradeoff between Computation and Communication in Distributed Computing
1 A Fundamental Tadeoff between Computation and Communication in Ditibuted Computing Songze Li, Student embe, IEEE, ohammad Ali addah-ali, embe, IEEE, Qian Yu, Student embe, IEEE, and A. Salman Avetimeh,
More informationSimulation of Spatially Correlated Large-Scale Parameters and Obtaining Model Parameters from Measurements
Simulation of Spatially Coelated Lage-Scale Paamete and Obtaining Model Paamete fom PER ZETTERBERG Stockholm Septembe 8 TRITA EE 8:49 Simulation of Spatially Coelated Lage-Scale Paamete and Obtaining Model
More informationMultiple Experts with Binary Features
Multiple Expets with Binay Featues Ye Jin & Lingen Zhang Decembe 9, 2010 1 Intoduction Ou intuition fo the poect comes fom the pape Supevised Leaning fom Multiple Expets: Whom to tust when eveyone lies
More informationarxiv: v1 [math.cv] 7 Nov 2018
INTERMEDIATE HANKEL OPERATORS ON THE FOCK SPACE OLIVIA CONSTANTIN axiv:181103137v1 [mathcv] 7 Nov 2018 Abtact We contuct a natual equence of middle Hankel opeato on the Fock pace, ie opeato which ae intemediate
More informationPolar Coordinates. a) (2; 30 ) b) (5; 120 ) c) (6; 270 ) d) (9; 330 ) e) (4; 45 )
Pola Coodinates We now intoduce anothe method of labelling oints in a lane. We stat by xing a oint in the lane. It is called the ole. A standad choice fo the ole is the oigin (0; 0) fo the Catezian coodinate
More informationFI 2201 Electromagnetism
FI Electomagnetim Aleande A. Ikanda, Ph.D. Phyic of Magnetim and Photonic Reeach Goup ecto Analyi CURILINEAR COORDINAES, DIRAC DELA FUNCION AND HEORY OF ECOR FIELDS Cuvilinea Coodinate Sytem Cateian coodinate:
More informationPolitical Science 552
Political Science 55 Facto and Pincial Comonents Path : Wight s Rules 4 v 4 4 4u R u R v 4. Path may ass though any vaiable only once on a single tavese. Path may go backwads, but not afte going fowad.
More informationOn the undulatory theory of positive and negative electrons
Su la théoie ondulatoie de électon poitif and negatif J. Phy. et le Rad. 7 (1936) 347-353. On the undulatoy theoy of poitive and negative electon By AL. PROCA Intitut Heni Poincaé Pai Tanlated by D. H.
More informationThe Substring Search Problem
The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is
More information16 Modeling a Language by a Markov Process
K. Pommeening, Language Statistics 80 16 Modeling a Language by a Makov Pocess Fo deiving theoetical esults a common model of language is the intepetation of texts as esults of Makov pocesses. This model
More informationSymmetry of Lagrangians of holonomic systems in terms of quasi-coordinates
Vol 18 No 8, Augut 009 c 009 Chin. Phy. Soc. 1674-1056/009/1808/3145-05 Chinee Phyic B an IOP Publihing Lt Symmety of Lagangian of holonomic ytem in tem of quai-cooinate Wu Hui-Bin an Mei Feng-Xiang School
More informationPHYSICS 151 Notes for Online Lecture 2.6
PHYSICS 151 Note fo Online Lectue.6 Toque: The whole eaon that we want to woy about cente of ma i that we ae limited to lookin at point mae unle we know how to deal with otation. Let eviit the metetick.
More informationAE 423 Space Technology I Chapter 2 Satellite Dynamics
AE 43 Space Technology I Chapte Satellite Dynamic.1 Intoduction In thi chapte we eview ome dynamic elevant to atellite dynamic and we etablih ome of the baic popetie of atellite dynamic.. Dynamic of a
More informationMath 124B February 02, 2012
Math 24B Febuay 02, 202 Vikto Gigoyan 8 Laplace s equation: popeties We have aleady encounteed Laplace s equation in the context of stationay heat conduction and wave phenomena. Recall that in two spatial
More informationChem 453/544 Fall /08/03. Exam #1 Solutions
Chem 453/544 Fall 3 /8/3 Exam # Solutions. ( points) Use the genealized compessibility diagam povided on the last page to estimate ove what ange of pessues A at oom tempeatue confoms to the ideal gas law
More informationDetermining the Best Linear Unbiased Predictor of PSU Means with the Data. included with the Random Variables. Ed Stanek
Detemining te Bet Linea Unbiaed Pedicto of PSU ean wit te Data included wit te andom Vaiable Ed Stanek Intoduction We develop te equation fo te bet linea unbiaed pedicto of PSU mean in a two tage andom
More information1.6. Trigonometric Functions. 48 Chapter 1: Preliminaries. Radian Measure
48 Chapte : Peliminaies.6 Tigonometic Functions Cicle B' B θ C A Unit of cicle adius FIGURE.63 The adian measue of angle ACB is the length u of ac AB on the unit cicle centeed at C. The value of u can
More informationRE 11.e Mon. Review for Final (1-11) HW11: Pr s 39, 57, 64, 74, 78 Sat. 9 a.m. Final Exam (Ch. 1-11)
Mon. Tue. We. ab i..4-.6, (.) ngula Momentum Pincile & Toque.7 -.9, (.) Motion With & Without Toque Rotation Coue Eval.0 Quantization, Quiz RE.c EP RE. RE.e Mon. Review fo inal (-) HW: P 9, 57, 64, 74,
More informationEdge Cover Time for Regular Graphs
1 2 3 47 6 23 11 Jounal of Intege Sequences, Vol. 11 (28, Aticle 8.4.4 Edge Cove Time fo Regula Gahs Robeto Tauaso Diatimento di Matematica Univesità di Roma To Vegata via della Riceca Scientifica 133
More informationRelated Rates - the Basics
Related Rates - the Basics In this section we exploe the way we can use deivatives to find the velocity at which things ae changing ove time. Up to now we have been finding the deivative to compae the
More informationLECTURE 14. m 1 m 2 b) Based on the second law of Newton Figure 1 similarly F21 m2 c) Based on the third law of Newton F 12
CTU 4 ] NWTON W O GVITY -The gavity law i foulated fo two point paticle with ae and at a ditance between the. Hee ae the fou tep that bing to univeal law of gavitation dicoveed by NWTON. a Baed on expeiental
More informationChapter 5 Linear Equations: Basic Theory and Practice
Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and
More information