Ilpo Halonen Luonnehdintoja logiikasta 4. Luonnehdintoja logiikasta 4. Tautologioita 1. Tautologioita 3. Tautologioita 2. Johdatus logiikkaan

Sisällys. Alkusanat. Alkusanat. Tehtävien ratkaisuja

Sisällys Alkusana Thävin rakaisuja Joukko-oppia Logiikkaa 6 Todisusmnlmiä Lukuoriaa Lisähäviä Pikasi 9 Krauskok painos Alkusana Tämä ainiso liiyy pikän mamaiikan oppikirjaan Lukion Calculus 6:n, ja s on

3 SIGNAALIN SUODATUS 3.1 SYSTEEMIN VASTE AIKATASOSSA

S I G N A A L I T E O R I A, O S A I I I TL98Z SIGNAALITEORIA, OSA III 44 3 Signaalin suodaus...44 3. Sysmin vas aikaasossa... 44 3. Kausaalisuus a sabiilisuus... 46 3.3 Vas aauusasossa... 46 3.4 Ampliudivas

X(t) = X 0 + tx 1 + t 2 X 2 + t 3 X ,

Ma-1.1332 Mariisiksponnifunkio, KP3-II, syksy 2007 Pkka Alsalo Johdano. Tämä monis sisälää kurssilla arviava ido mariisiksponnifunkiosa. Mariisiksponnifunkio. Suraavassa A on raalinn n n-mariisi, jonka

Luento 7 Järjestelmien ylläpito

Luno 7 Järjslmin ylläpio Ahi Salo Tknillinn korkakoulu PL, 5 TKK Järjslmin ylläpidosa Priaallisia vaihohoja Uusiminn rplacmn Ennalahkäisvä huolo mainnanc Korjaaminn rpair ❶ Uusiminn Vioiun komponni korvaaan

ẍ(t) q(t)x(t) = f(t) 0 1 z(t) +.

Diffrniaaliyhälö II, harjoius 3, 8 228, rakaisu JL, kuusi sivua a On muunnava linaarinn oisn kraluvun diffrniaaliyhälö ẍ qx f yhäpiäväksi nsimmäisn kraluvun linaarisksi kahdn skalaariyhälön sysmiksi Rak

VÄRÄHTELYMEKANIIKKA SESSIO 17: Yhden vapausasteen pakkovärähtely, impulssikuormitus ja Duhamelin integraali

7/ VÄRÄHTELYMEKANIIKKA SESSIO 7: Yhn vapausasn paovärähly, impulssiuormius ja Duhamlin ingraali IMPULSSIKUORMITUS Maanisn sysmiin ohisuva jasoon hrä on usin ajasa riippuva lyhyaiainn uormius. Ysinraisin

KANTATAAJUINEN BINÄÄRINEN SIIRTOJÄRJESTELMÄ AWGN-KANAVASSA

KJUI BIÄÄRI SIIROJÄRJSLMÄ WG-KVSS Kaajaajui siiro iformaaio siiro johdossa sllaisaa ilma kaoaalo- ai pulssimodulaaioa 536 ioliikkiikka II Osa 3 Kari Kärkkäi Syksy 5 JÄRJSLMÄMLLI Bii kso. Symboli {} ja

PK-YRITYKSEN ARVONMÄÄRITYS. KTT, DI TOIVO KOSKI elearning Community Ltd

PK-YRITYKSEN ARVONMÄÄRITYS KTT, DI TOIVO KOSKI elearning Communiy Ld Yriyksen arvonmääriys 1. Yriyksen ase- eli subsanssiarvo Arvioidaan yriyksen aseen vasaavaa puolella olevan omaisuuden käypäarvo, josa

Rahoitusriskit ja johdannaiset Matti Estola Luento 5. Termiinihinnan määräytyminen

Rahoitusriskit ja johdannaist Matti Estola Lunto 5 rmiinihinnan määräytyminn 1. rmiinin ylinn hinnoittlukaava Mrkitään trmiinisopimuksn kohd-tuudn spot hintaa sopimuksn tkopäivänä S :lla, kohd-tuudn trmiinihintaa

Modus Ponens. JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15. Modus Ponens. Ketjusääntö. Päättelyketju.

JosAjaA B ovat tosia, niin välttämättä myösb on tosi 1 / 15 JosAjaA B ovat tosia, niin välttämättä myösb on tosi (A (A B)) B on tautologia eli (A (A B)) B. 1 / 15 JosAjaA B ovat tosia, niin välttämättä

VAIHELUKKOTEKNIIKKA JA TAKAISINKYTKETYT DEMODULAATTORIT KULMAMODULAATION ILMAISUSSA

VIHELUOTENII J TISINYTETYT DEMODULTTORIT ULMMODULTION ILMISUSS Vaihohoinn ilmaisumnlmä kulmamoulaaioill? 5357 Tioliiknnkniikka I Osa 9 ari ärkkäinn ä 05 VIHELUO PLL FM & PM -ILMISINPIIRINÄ Ellä on arkaslu

Sopimuksenteon dynamiikka: johdanto ja haitallinen valikoituminen

Soimukseneon dynamiikka: johdano ja haiallinen valikoiuminen Ma-2.442 Oimoinioin seminaari Elise Kolola 8.4.2008 S yseemianalyysin Laboraorio Esielmä 4 Elise Kolola Oimoinioin seminaari - Kevä 2008 Esiyksen

Muuttuvan kokonaissensitiivisyyden mallinnus valvontaohjelman riskinarvioinnissa esimerkkinä munintaparvet

Muuuvan kokonaissnsiiivisyyn mallinnus valvonaohjlman riskinarvioinnissa simrkkinä muninaarv Tausa: Aimma salmonllarojki FooBUG rojki ja uusi malli muninaarvill 8. EFSA WG: salmonlla muninaarvissa. Samaa

LAUSELOGIIKKA (1) Sanalliset ilmaisut ovat usein epätarkkoja. On ilmaisuja, joista voidaan sanoa, että ne ovat tosia tai epätosia, mutta eivät molempia. Ilmaisuja, joihin voidaan liittää totuusarvoja (tosi,

a) Miksi signaalin jaksollisuus on tärkeä ominaisuus? Miten jaksollisuus vaikuttaa signaalin taajuussisältöön?

L53, Sinaalioria J. Laiinn..5 E3SN, E3SN5Z Väliko, rakaisu Vasaa lyhysi suraaviin kysymyksiin. 6p a Miksi sinaalin aksollisuus on ärkä ominaisuus? Min aksollisuus vaikuaa sinaalin aauussisälöön? b Miä

ELEMENTTIMENETELMÄN PERUSTEET SESSIO 19: Gaussin integrointi emojanan alueessa.

/ ELEMENIMENEELMÄN PERUSEE SESSIO : Gaussin intgrointi mojanan alussa. JOHDANO Ylisssä lujuusopin lmnttimntlmässä lmntin jäykkyysmatriisi [ k ] ja kvivalnttinn solmukuormitusvktori { r } lasktaan määrätyistä

3 TOISEN KERTALUVUN LINEAARISET DIFFERENTIAALIYHTÄLÖT. y + p(x)y + q(x)y = r(x) (1)

5 3 TOISEN KERTALUVUN LINEAARISET DIFFERENTIAALIYHTÄLÖT Huomautus pälinaarisista diffrntiaalihtälöistä: Epälinaarisn DY:n ratkaismisn i ol lispätvää mntlmää. Joitakin rikoistapauksia voidaan ratkaista:

Viitteet. Viitteet. Viitteet

Vii Vii Vii 1 2 1. Mariisiksponnifunkio Hikki Apiola Sisälää Pkka Alsalon ja Timo Eirolan mariaalia myös. Viiiä TE Timo Eirola: Linaarialgbra, lunomonis EN EirolaNvanlinna: Diyhälösysmi, lunomonis LAODEGolubiskyDllniz:

z = Amplitudi = itseisarvo ja vaihe = argumentti (arg). arg Piirretään vielä amplitudi- ja vaihespektri:

Määriä suraavi komplksiluku/siaali ampliudi- a vaiharvo. Piirrä b-kohdassa ampliudi a vaih aauud fukioa ampliudi- a vaihspkri. 6p 8 a z 7, z 8 a z. { } b z cos. Ampliudi isisarvo a vaih arumi ar. a z 7

Tee konseptiin pisteytysruudukko! Muista kirjata nimesi ja ryhmäsi. Lue ohjeet huolellisesti

MAA8 Ko 5..04 T konsptiin pisttsruudukko! Muista kirjata nimsi ja rhmäsi. Lu ohjt huolllissti A-Osio: Ei saa kättää laskinta. MAOL saa olla alusta asti kätössä. Maksimissaan h aikaa suorittaa A- Osio.

LIITE 8A: RAKENNELUVUN 137 YHTÄLÖITÄ

LIITE 8A: RAKENNELUVUN 37 YHTÄLÖITÄ Raknnluvusta 37 on tämän työn yhtydssä syntynyt yli 00 yhtälöä, joista 00 yhtälöä on analysoitu. Näistä on osoittautunut 70 yhtälöä milnkiintoisiksi ja saman vrran otaksutaan

4 KORKEAMMAN KL:N LINEAARISET DIFFERENTIAALIYHTÄLÖT

KORKEAMMAN KL:N LINEAARISET DIFFERENTIAALIYHTÄLÖT Krtalukua n olvassa diffrntiaalihtälössä F(,,,, (n) ) = siint n:nnn krtaluvun drivaatta (n) = d n /d n ja mahdollissti almpia drivaattoja, :tä ja :ää.

LOGIIKKA johdantoa

LOGIIKKA johdantoa LUKUTEORIA JA TO- DISTAMINEN, MAA11 Logiikan tehtävä: Logiikka tutkii ajattelun ja päättelyn sääntöjä ja muodollisten päättelyiden oikeellisuutta, ja pyrkii erottamaan oikeat päättelyt

Johdatus graafiteoriaan

Johdatus graafitoriaan Syksy 2017 Lauri Hlla Tamprn yliopisto Luonnontitidn tidkunta 2 Luku 1 Pruskäsittitä 1.1 Määritlmiä 1.2 Esimrkkjä 1.3 Trminologiaa 1.4 Joitakin rikoisia yksinkrtaisia graafja 1.5

Luento 6 Luotettavuus ja vikaantumisprosessit

Tkll korkakoulu ysmaalyys laboraoro Luo 6 Luoavuus a vkaaumsrosss Ah alo ysmaalyys laboraoro Tkll korkakoulu PL 00, 005 TKK Tkll korkakoulu ysmaalyys laboraoro Määrlmä Tarkaslava ykskö luoavuus o s odäkösyys,

Mittaustekniikan perusteet, piirianalyysin kertausta

Miausekniikan perusee, piirianalyysin kerausa. Ohmin laki: =, ai = Z ( = ännie, = resisanssi, Z = impedanssi, = vira). Kompleksiluvu Kompleksilukua arviaan elekroniikassa analysoiaessa piireä, oka sisälävä

Ohjelmiston testaus ja laatu. Ohjelmistotekniikka dokumentointi

Ohjelmson esaus ja laau Ohjelmsoeknkka dokumenon Ohjelmsoyöhön kuuluu oleellsena osana dokumenen krjoamnen laadukkaden dokumenen uoamnen vakeaa akaaulujen panaessa päälle, dokumenonnsa on helppo npsää

Koska yhteys tavalliseen eksponenttifunktion sarjakehitelmään on selvä, asetetaan seuraava määritelmä.

Ma-.433/433/45 Mariisiksponnifunkio, K3/P3/V3, syksy 22 Pkka Alsalo/(Hikki Apiola) Pkan ysävällissi käyööni anamaan lähkooiin oln hny omia lisäyksiäni, HA Viiiä [TE] Timo Eirola: Linaarialgbra, lunomonis

12. ARKISIA SOVELLUKSIA

MAA. Arkiia ovellukia. ARKISIA SOVELLUKSIA Oleeaan, eä kappale liikkuu ykiuloeia raaa, eimerkiki -akelia pikin. Kappaleen nopeuden vekoriluonne riiää oaa vauhdin eumerkin avulla huomioon, ja on ehkä arkoiukenmukaiina

Rahoitusriskit ja johdannaiset Matti Estola. luento 12 Stokastisista prosesseista

Rahoiusriski ja johdannaise Mai Esola lueno Sokasisisa prosesseisa . Markov ominaisuus Markov -prosessi on sokasinen prosessi, missä ainoasaan muuujan viimeinen havaino on relevani muuujan seuraavaa arvoa

Mallivastaukset KA5-kurssin laskareihin, kevät 2009

Mallivasaukse KA5-kurssin laskareihin, kevä 2009 Harjoiukse 2 (viikko 6) Tehävä 1 Sovelleaan luenokalvojen sivulla 46 anneua kaavaa: A A Y Y K α ( 1 α ) 0,025 0,5 0,03 0,5 0,01 0,005 K Siis kysyy Solowin

2. Taloudessa käytettyjä yksinkertaisia ennustemalleja. ja tarkasteltavaa muuttujan arvoa hetkellä t kirjaimella y t

Tilasollinen ennusaminen Seppo Pynnönen Tilasoieeen professori, Meneelmäieeiden laios, Vaasan yliopiso. Tausaa Tulevaisuuden ennusaminen on ehkä yksi luoneenomaisimpia piireiä ihmiselle. On ilmeisesi aina

W dt dt t J.

DEE-11 Piirianalyysi Harjoius 1 / viikko 3.1 RC-auon akku (8.4 V, 17 mah) on ladau äyeen. Kuinka suuri osa akun energiasa kuluu ensimmäisen 5 min aikana, kun oleeaan mooorin kuluavan vakiovirran 5 A? Oleeaan

Arvioita karakterisummille: Pólya-Vinogradovin epäyhtälö ja sen parannuksia

Solmu 2/2015 1 Arvioita karaktrisummill: Pólya-Vinogradovin päyhtälö ja sn parannuksia Jss Jääsaari Matmatiikan ja tilastotitn laitos, Hlsingin yliopisto Johdanto Alkuluvut ovat analyyttisn lukutorian

Y56 laskuharjoitukset 6 - mallivastaukset

Y56 Kvät 00 Harjoitus. Monopsoni Y56 laskuharjoitukst 6 - mallivastaukst Tavoittna on ymmärtää panosmarkkinoidn luonntta, kun markkinoilla on vain yksi ostaja. Monopsoni tuottaa hyödykttä y kilpailullisill

1 a) Eristeiden, puolijohteiden ja metallien tyypilliset energiakaistarakenteet.

a) ristid, puolijohtid ja talli tyypillist rgiakaistaraktt. i) NRGIAKAISTAT: (lktroi sallitut rgiatilat) Kaksiatoi systi: pottiaalirgia atoi väliatka fuktioa pot rpulsiivi kopotti -lktroit hylkivät toisiaa

Faustmannin (1849) kiertoaikamalli on yksinkertaisin

Mtsätitn aikakauskirja 3/1999 Titn tori Olli Tahvonn Faustmannin kirtoaikamallista ja sn ylistyksistä m t a Johdanto Faustmannin (1849) kirtoaikamalli on yksinkrtaisin mahdollinn kuvaus taloudllissti thokkaasta

16.10.2007 ASUNTOYHTIÖN TALOUSSUUNNITELMA RS-järjestelmä 1(5) URAKAT YHTEENSÄ, euroa. Arvio, euroa. Muut maapohjakustannukset, euroa.

-järjstlmä 1(5) Asunto-osakyhtiö As Oy Hlsingin Gunillankartano, Hlsinki Prustajaosakas Raknnuskartio Oy (01899-0) Rakntaja (pääurakoitsija) Raknnuskartio Oy (01899-0) HANKINTA RAKENNUS- A. URAKAT KOKONAISURAKKA,

F E . 1. a!? # % b &., @ $ c + ± = e < > [ \ ] ^ g λ Ø ø φ " 1 / 2 h Á á É. j À à È è Ì ì Ò k ò ù Ä ä Ë ë Ï. o à ã Ñ ñ Õ õ F` = 6mm = 9/12mm = 19mm

: A ➎ C ➎ B D = 6mm = 9/12mm = a!? # % b &., @ $ c + ± = d * / : ; ( ) e < > [ \ ] ^ f { } ~ µ ß Ω g λ Ø ø φ " 1 / 2 h Á á É i é Í í Ó ó Ú ú j À à È è Ì ì Ò k ò ù Ä ä Ë ë Ï l ï Ö ö Ü ü ÿ Â m â Ê ê î ô

Diskreetit rakenteet. 3. Logiikka. Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1

811120P 3. 5 op Oulun yliopisto Tietojenkäsittelytieteiden laitos 2015 / 2016 Periodi 1 ja laskenta tarkastelemme terveeseen järkeen perustuvaa päättelyä formaalina järjestelmänä logiikkaa sovelletaan

S SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA

S-55.11 SÄHKÖTKNIIKKA JA LKTONIIKKA 2. väliko 14.12.26. Saat vastata vain nljään thtävään! Kimmo Silvonn 1. Millä välillä vaihtl opraatiovahvistimn lähtöjännit, jos =1 +û sin ωt. =2, û =5. 2 Thtävä 2.

Talousmatematiikan perusteet

vä9 / orms.3 Talousmatmatiian prustt 6. harjoitus, viio 9 45...3.9 L Ma A R5 Ti 4 6 F453 R Ma 4 F453 L To 8 A R Ma 6 8 F453 R6 To 4 F4 R3 Ti 8 F45 R7 P 8 F453 R4 Ti 4 F453 R8 P F453. Las intgraalit a 6x

Matriisieksponenttifunktio

Ma-1.1332 Mariisiksponnifunkio KP3-II, syksy 2008 Pkka Alsalo/(Hikki Apiola) Pkan ysävällissi käyööni anamaan L A TEX-idosoon oln hny joiakin piniä yylimuuoksia, lisäyksiä ja huudahduksia HA Viiiä [TE]

joka on separoituva yhtälö, jolla ei ole reaalisia triviaaliratkaisuja. Ratkaistaan: z z(x) dx =

HY / Maemaiikan ja ilasoieeen laios Differeniaalihälö I kevä 09 Harjois 4 Rakaisehdoksia. Rakaise differeniaalihälö = (x + + Rakais: Tehdään differeniaalihälöön lineaarinen mnnos z(x = x + (x + jolloin

811120P Diskreetit rakenteet

811120P Diskreetit rakenteet 2016-2017 4. Joukot, relaatiot ja funktiot Osa 1: Joukot 4.1 Joukot Matemaattisesti joukko on mikä tahansa hyvin määritelty kokoelma objekteja, joita kutsutaan joukon alkioiksi

Jaksollisista funktioista

Jaksollisisa funkioisa Jukka Liukkonen Ylioeaja Helsingin ammaikorkeakoulu Sadia Ymärillämme ja joa sisällämme on runsaasi jaksollisina oisuvia ilmiöiä: äivä seuraa yöä, kesä alvea, sydän lyö ahdissa,

Toinen muotoilu. {A 1,A 2,...,A n,b } 0, Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun 1 / 13

2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin kun {A 1,A 2,...,A n,b } 0, jatkoa jatkoa 1 / 13 2 3 Edellinen sääntö toisin: Lause 2.5.{A 1,A 2,...,A n } B täsmälleen silloin

exp(x) = e x x n n=0 v(x, y) = e x sin y

4 Alkisfunktioita 41 Eksponnttifunktio Eksponnttifunktio xp : R R on määritlty khitlmällä xp(x) = x x n = n! Pyrimm laajntamaan määritlmän koko tasoon C sitn, ttä 1 xp : C C on analyyttinn ja xp(x) = x,

Ilpo Halonen 2005. 1.3 Päätelmistä ja niiden pätevyydestä. Luonnehdintoja logiikasta 1. Johdatus logiikkaan. Luonnehdintoja logiikasta 2

uonnehdintoja logiikasta 1 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta "ogiikka on itse asiassa tiede, johon sisältyy runsaasti mielenkiintoisia

Juuri 10 Tehtävien ratkaisut Kustannusosakeyhtiö Otava päivitetty

Juuri 0 Thtävin ratkaisut Kustannusosakyhtiö Otava päivittty 9..08 Kokoavia thtäviä ILMAN TEKNISIÄ APUVÄLINEITÄ. a) Kirjoittaan kskiarvoll lausk :n avulla ja ratkaistaan yhtälöstä. π 4 π 4π :4 π 4 a b

Usko, toivo ja rakkaus

Makku Lulli-Seppälä sko toivo a akkaus 1. Ko. 1 baitoille viululle alttoviululle a uuille op. kummityttöi Päivi vihkiäisii 9.8.1986 iulu a alttoviulu osuude voi soittaa sama soittaa. Tavittaessa alttoviulu

KULMAMODULOITUJEN SIGNAALIEN SPEKTRIN LASKEMINEN

KULMMODULOITUJEN SIGNLIEN SPEKTRIN LSKEMINEN 1 (3) (3) Spekri laskeie siisaoalle Kulaoduloidu sigaali spekri johaie o yöläsä epälieaarisuudesa johue (epälieaarise aalyysi ova yleesä hakalia). Se voidaa

SOSIALIDEMOKRAATTINEN PUOLUE SAARINIEMENKATU HELSINKI POSTISIIRTOTILI VAIHDE

.

b) Ei ole. Todistus samaan tyyliin kuin edellinen. Olkoon C > 0 ja valitaan x = 2C sekä y = 0. Tällöin pätee f(x) f(y)

Maemaiikan ja ilasoieeen osaso/hy Differeniaaliyhälö II Laskuharjoius 1 malli Kevä 19 Tehävä 1. Ovako seuraava funkio Lipschiz-jakuvia reaaliakselilla: a) f(x) = x 1/3, b) f(x) = x, c) f(x) = x? a) Ei

Mahdollisten maailmojen semantiikan synty ja kehitys

Mahdollisten maailmojen semantiikan synty ja kehitys (Fte264/265, Kf330n) FT Ilpo Halonen to klo 12-14 S20A sh 303 3. luento 3.2.2005 Mottoja Wittgensteinilta 1 Lauseet osoittavat, mitä ne sanovat. Tautologia

Palkkielementti hum 3.10.13

Palilmntti hum.0. Palilmnttjä Tarastllaan tässä sitysssä vain Eulr-Brnoullin palitoriaan prustuvia palilmnttjä. Tässä palitoriassa olttaan, ttä palin poiiliaus säilyy taivutttunain tasona, joa on ohtisuorassa

FI3 Tiedon ja todellisuuden filosofia LOGIIKKA. 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan:

LOGIIKKA 1 Mitä logiikka on? päättelyn tiede o oppi muodollisesti pätevästä päättelystä 1.1 Logiikan ymmärtämiseksi on tärkeää osata erottaa muoto ja sisältö toisistaan: sisältö, merkitys: onko jokin premissi

Ilpo Halonen 2005. Luonnehdintoja logiikasta 11. Poikkeavista logiikoista. Poikkeavista logiikoista 2. Poikkeavista logiikoista 3. Johdatus logiikkaan

Luonnehdintoja logiikasta 11 Johdatus logiikkaan Ilpo Halonen Syksy 2005 ilpo.halonen@helsinki.fi Filosofian laitos Humanistinen tiedekunta Modaalilogiikan renessanssi ja sille sukua olevien loogisten

DEE Lineaariset järjestelmät Harjoitus 4, ratkaisuehdotukset

D-00 ineaarise järjeselmä Harjoius 4, rakaisuehdoukse nnen kuin mennään ämän harjoiuksen aihepiireihin, käydään läpi yksi huomionarvoinen juu. Piirianalyysin juuri suorianee opiskelija saaava ihmeellä,

S SÄHKÖTEKNIIKKA Kimmo Silvonen

S55.3 SÄHKÖTKNKKA.. Kimmo Silvonn Tntti: thtävät,3,5,7,9. väliko: thtävät,,3,4,5. väliko: thtävät 6,7,8,9, Oltko muistanut vastata palautkyslyyn Voit täyttää lomakkn nyt.. Lask virta. = = 3 =Ω, J =3A,

Loogiset konnektiivit

Loogiset konnektiivit Tavallisimmat loogiset konnektiivit ovat negaatio ei konjunktio ja disjunktio tai implikaatio jos..., niin... ekvivalenssi... jos ja vain jos... Sulkeita ( ) käytetään selkeyden vuoksi

Ilpo Halonen 2005 LISÄÄ KIRJALLISUUTTA. 5. Logiikan rooli argumentaatiossa LISÄÄ KIRJALLISUUTTA LISÄÄ KIRJALLISUUTTA. Mitä logiikka on?

5. Logiikan rooli argumentaatiossa KIRJALLISUUTTA: Allwood Jens, Lars-Gunnar Andersson, Östen Dahl 1980, Logiikka ja kieli, Gaudeamus, Helsinki. Haaparanta Leila 1995, "Modernin logiikan synty", teoksessa

Digitaalitekniikan matematiikka Luku 4 Sivu 1 (15) Kytkentäalgebra A + 1 = 1 A = A A + B C = (A + B) (A + C) A 0 = 0. Maksimitermi.

Digitaalitekniikan matematiikka Luku 4 Sivu 1 (15) A + 1 = 1 A + B C = (A + B) (A + C) F(A, B, C) = Σ m (2, 3, 5, 7) Maksimitermi A = A m0 A 0 = 0 M7 A + B = A B Minimitermi Digitaalitekniikan matematiikka

Pisto- ja viiltotapaturmien ehkäisy ja terävien instrumenttien hävittäminen

Ohj (7) Pisto- ja viiltotapaturmin hkäisy ja trävin instrumnttin hävittäminn ohj kunnan sosiaali- ja trvydnhuollon yksiköill..206 alkan Trävän instrumntin aihuttama pisto- tai viiltotapaturma on yksi tyypillisimmistä

ohj.pro Loppiainen ikku vam

Sosiaali- terveys- ja liikunta-ala LUKUJÄRJESTYS (JATKAVAT RYHMÄT) kevät 2014 kevät lukukausi 2.1.2014-30.5.2014 Ryhmä: 1 2 kello 30.12 31.12 ke.1.1 to 2.1 pe 3.1 ma 6.1 ti 7.1 ke.8.1 to 9.1 pe 10.1 8.00-8.45

Flow shop, työnvaiheketju, joustava linja, läpivirtauspaja. Kahden koneen flow shop Johnsonin algoritmi

Flow shop önvaheeju jousava lnja läpvrauspaja Flow shopssa önvaheden järjess on sama alla uoella Kosa vahea vo edelää jono vova ö olla vaheleva ja ö vova ohaa osensa äl ö evä oha osaan puhuaan permuaaoaaaulusa

NOVITA VENLA: HUVIRETKET-KIRJONEULESUKAT

r i v H l n o j r i a s NOVITA VENLA: HUVIRETKET-KIRJONEULESUKAT Snnilija Niina Laiinn Kngän oo 38/39 Langanmni Novia Vnla (010) lonnonvaloinn 100 g, (499) hiili vajaa 50 g ja (182) prooli vajaa 50 g Sapio

Rakennusosien rakennusfysikaalinen toiminta Ralf Lindberg Professori, Tampereen teknillinen yliopisto ralf.lindberg@tut.fi

Rakennusosien rakennusfysikaalinen oimina Ralf Lindber Professori, Tampereen eknillinen yliopiso ralf.lindber@u.fi Rakenneosien rakennusfysikaalisen oiminnan ymmärämiseksi on välämäönä piirää kolme eri

1 Logiikkaa. 1.1 Logiikan symbolit

1 Logiikkaa Tieteessä ja jokapäiväisessä elämässä joudutaan tekemään päätelmiä. Logiikassa tutkimuskohteena on juuri päättelyt. Sen sijaan päätelmien sisältöön ei niinkäään kiinnitetä huomiota. Päätelmät

Käyttövarmuuden ja kunnossapidon perusteet, KSU-4310: Tentti ma

KSU-430/Ten 4..2008/Prof. Seppo Vranen /3 Käyövarmuuden ja kunnossapdon perusee, KSU-430: Ten ma 4..2008 Huom. Vasaus van veen kysymykseen. Funko- ja/a ohjelmoavan laskmen, musnpanojen, luenomonseden ja

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

-Matematiikka on aksiomaattinen järjestelmä -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi -mustavalkoinen: asia joko on tai ei (vrt. humanistiset tieteet, ei

x v1 y v2, missä x ja y ovat kokonaislukuja.

Digiaalinen videonkäsiel Harjoius, vasaukse ehäviin 4-0 Tehävä 4. Emämariisi a: V A 0 V B 0 Hila saadaan kanavekorien (=emämariisin sarakkee) avulla. Kunkin piseen paikka hilassa on kokonaisluvulla kerroujen

K Ä Y T T Ö S U U N N I T E L M A Y H D Y S K U N T A L A U T A K U N T A

K Ä Y T T Ö S U U N N I T E L M A 2 0 1 7 Y H D Y S K U N T A L A U T A K U N T A Forssan kaupunki Talousarvio ja -suunnitelma 2017-2019 / T O I M I A L A P A L V E L U 50 YHDYSKUNTAPALVELUT 5 0 0 T E

9. Epäoleelliset integraalit; integraalin derivointi parametrin suhteen. (x + y)e x y dxdy. e (ax+by)2 da. xy 2 r 4 da; r = x 2 + y 2. b) A.

9. Epäoleellise inegraali; inegraalin derivoini paramerin suheen 9.. Epäoleellise aso- ja avaruusinegraali 27. Olkoon = {(x, y) x, y }. Osoia hajaanuminen ai laske arvo epäoleelliselle asoinegraalille

Diskreetillä puolella impulssi oli yksinkertainen lukujono:

DEE-00 ineaarise järjeselmä Harjoius 5, rakaisuehdoukse [johdano impulssivaseeseen] Jakuva-aikaisen järjeselmän impulssivase on vasaavanlainen järjeselmäyökalu kuin diskreeillä puolellakin: impulssivase

6.4 Variaatiolaskennan oletusten rajoitukset. 6.5 Eulerin yhtälön ratkaisuiden erikoistapauksia

6.4 Variaaiolaskennan oleusen rajoiukse Sivu ss. 27 31 läheien Kirk, ss. 13 143] ja KS, Ch. 5] pohjala Lähökoha oli: jos J:llä on eksremaali (), niin J:n variaaio δj( (), δ()) ():ä pikin on nolla. 1. Välämäön

T kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut

T-79.5101 kevät 2007 Laskennallisen logiikan jatkokurssi Laskuharjoitus 1 Ratkaisut 1. Jokaiselle toteutuvalle lauselogiikan lauseelle voidaan etsiä malli taulumenetelmällä merkitsemällä lause taulun juureen

RYHMIEN PERUSTAMINEN OODIIN

RYHMIEN PERUSTAMINEN OODIIN Ohje ryhmätyökalun käyttäjille 11.11.2011 Kuva: Ilpo Okkonen Ryhmätyökalu Oodissa Tässä ohjeessa käydään läpi Oodin HOPSin Ryhmätyökalu-toimintoa. Ryhmätyökalun avulla voi luoda

Sisäpiirintiedon syntyminen

Kai Kotiranta Sisäpiirintiedon syntyminen Kontekstuaalinen tulkinta Y liopistollinen väitöskirja, jo k a Lapin yliopiston oikeustieteiden tiedekunnan suostum uksella esitetään julkisesti tarkastettavaksi

Teknillinen korkeakoulu Mat Epälineaarisen elementtimenetelmän perusteet (Mikkola/Ärölä) 11. harjoituksen ratkaisut

Tknillinn korkakoulu Mat-5.187 Epälinaarisn lmnttimntlmän prustt (Mikkola/Ärölä) 11. harjoituksn ratkaisut Tht. 1 Rfrnssitilan suurita käyttän (kokonais-lagrang) lausuttu hto krittisn aika-askln pituudll

Wittgensteinin perusajatus (4.0312) kielen ja todellisuuden totuus- ja todistusteoreettisen suhteen ilmaisuna.

Wittgensteinin perusajatus (4.0312) kielen ja todellisuuden totuus- ja todistusteoreettisen suhteen ilmaisuna. - Kuvateorian totuus- ja todistusteoreettinen tulkinta. S I S Ä L L Y S Tiivistelmä 1. Johdanto.....

5. Vakiokertoiminen lineaarinen normaaliryhmä

1 MAT-145 LAAJA MATEMATIIKKA 5 Tampereen eknillinen yliopiso Riso Silvennoinen Kevä 21 5. Vakiokeroiminen lineaarinen normaaliryhmä Todeaan ensin ilman odisuksia (ulos on syvällinen) rakaisujen olemassaoloa

Välikoe II, Tehtävä 1

! Lappeenrannan eknillinen krkeakulu Energiaekniikan sas Lämpö ja ympärisöekniikan lais 4316/4317 Viraus ja lämpövimaknee. Välike, 1.3.22 Ei kirjallisa maeriaalia L TKK:n h,spiirrsa lukuunamaa. Kusakin

4. Putkivirtaus 4. PUTKIVIRTAUS. 4.1 Virtauslajit ja Reynoldsin luku. 4.2 Putkivirtauksen häviöt

4. Putkivirtaus 4. PUTKIVIRTAUS Brnoullin yhtälön yhtydssä todttiin todllisssa virtauksssa syntyvän aina häviöitä, jotka muuttuvat lämmöksi. Putkivirtauksssa nämä häviät näkyvät painn laskuna virtaussuunnassa

ellipsirata II LAKI eli PINTA-ALALAKI: Planeetan liikkuessa sitä Aurinkoon yhdistävä jana pyyhkii yhtä pitkissä ajoissa yhtä suuret pinta-alat.

KEPLERIN LAI: (Ks. Physic 5, s. 5) Johnnes Keple (57-60) yhtyi yko Bhen (546-60) hintoineiston pohjlt etsimään tinmekniikn linlisuuksi. Keple tiiisti tutkimustyönsä kolmeen lkiins (Keplein lit). I LAKI

Tiedonhakumenetelmät Tiedonhakumenetelmät Helsingin yliopisto / TKTL. H.Laine 1. Todennäköisyyspohjainen rankkaus

Tieonhakumeneelmä Helsingin yliopiso / TKTL.4.04 Toennäköisyyeen perusuva rankkaus Tieonhakumeneelmä Toennäköisyyspohjainen rankkaus Dokumenien haussa ongelmana on löyää käyäjän kyselynä ilmaiseman ieoarpeen

Tutkimus. Obaman tukipaketilla takaisin kasvuun

Suhdat ja rahoitusmarkkinat rityistma Tutkimus 9 Lisätitoja: konomisti Pasi Kuoamäki, asikuoamaki@samoankkifi, Obaman tukiaktilla takaisin kasvuun Maailmaalous on vajonnut taaumaan, joka on ahimia sittn

S SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA

S-55.00 SÄHKÖTKNKKA JA LKTONKKA. välikoe 3.0.2006. Saat vastata vain neljään tehtävään!. Laske jännite U. = =4Ω, 3 =2Ω, = =2V, J =2A, J 2 =3A + J 2 + J 3 2. Kondensaattori on aluksi varautunut jännitteeseen

Soorrea. OUTC'KUMPU Oy.' Malminetsintä. O. POhjamies/pAL ,4 1 (3) VLF -MI'ITAUS. Periaate. Lähetysase.mat

- OUTCKUMPU Oy Malmnesnä O POhames/pAL 94 (3) VLF -MTAUS Peraae Läheysasema VU (= Very M Frequency) -ruauks$sa käyeään apuna 5-0 khz aauusaueea omva asea Näden asemen anenrrl ova pysyä a nssä kulkeva vra

CST-elementti hum

CS-lmntti hm 4..3 CS-lmntti arkatllaan kan kolmiolmita kolmiolmnttiä, jota kttaan akionmän kolmiolmntiki (Contant Strain riangl). q 6 3 q 5 ( 3, 3 ) (, ) q 4 q 3 P q (, ) q O Pitn P koordinaatit oidaan

SÄHKÖMAGNETISMI: kevät 2017

SÄHKÖMAGNETISMI: kevät 2017 Viikko Aihe kirjan luku Viikko 1 Sähköken>ä, pistevaraukset 14 Viikko 2 Varausjakauman sähköken>ä 16 Viikko 2 Sähköinen poteniaalienergia ja poteniaali 17 Viikko 3 Sähköken>ä

Lukio alkaa

15 Lukio alkaa 14.8.2015 Mitä Kuuluu? Mitä lukio tuo tullessaan? Uudet kaverit Uudet toimintatavat Valitset itse opintosi Kotitöitä Tee töitä tasaisesti, priorisoi Anna itsellesi oikeus lukea - päivittäin

Diplomi-insinöörien ja arkkitehtien yhteisvalinta - dia-valinta 2010 Insinöörivalinnan fysiikan koe 2.6.2010, malliratkaisut

A1 Diplomi-insinöörin ja arkkithtin yhtisalinta - dia-alinta 2010 Alla on lutltu kuusi suurtta skä annttu taulukoissa kahdksan lukuaroa ja kahdksan SI-yksikön symbolia. Yhdistä suurt oikan suuruusluokan

AS Säätötekniikan matemaattiset apuneuvot Esimerkkitentti (vuodelta 1998)

S-7 Sääöniin mmi pnvo Eimrini vodl 998 niä oll mn irj Virnn Sääöniin mmii mriiin vioi drminni äänimriii Millä vioidn j rvoill äänimriii on olm? Millä prmrin rlirvoill mriii on inglrinn äänimriii i ol n

ESIMERKKI 2 Harri Laine

ESIMERKKI 2 H L Lähöoh v Kmpmo Käää o hlmää ll vplvl. A öyvä jäjlmää mmä v yhydä. Röyll ll. A ll jäjlmää poj, m, oo j phlmo. Lä ll l h lyvä oj h, p, vä, ym. Tjoll olv plvl o olm ho. Ho o plvl ol ph j po.

KUN RANGAISTUS TULEE KOTIIN: LASTENSUOJELUN ROOLI VALVONTARANGAISTUKSESSA

KUN RANGAISTUS TULEE KOTIIN: LASTENSUOJELUN ROOLI VALVONTARANGAISTUKSESSA Sosiaaityöntekijä Kirsi Koivistoinen Lapsiperhepaveut/poiisin sosiaaityö LASTENSUOJELU JA VALVONTARANGAISTUS Taustaa 9/2013 ähtien

Huomaa, että aika tulee ilmoittaa SI-yksikössä, eli sekunteina (1 h = 3600 s).

DEE- Piirianalyysi Ykkösharkan ehävien rakaisuehdoukse. askeaan ensin, kuinka paljon äyeen ladaussa akussa on energiaa. Tämä saadaan laskeua ehäväpaperissa anneujen akun ieojen 8.4 V ja 7 mah avulla. 8.4

Tasaantumisilmiöt eli transientit

uku 12 Tasaanumisilmiö eli ransieni 12.1 Kelan kykeminen asajännieeseen Kappaleessa 11.2 kykeiin reaalinen kela asajännieeseen ja ukiiin energian varasoiumisa kelan magneeikenään. Tilanne on esiey uudelleen