First-order logic. Usage. Tautologies, using rst-order logic, relations to natural language

Wielkość: px
Rozpocząć pokaz od strony:

Download "First-order logic. Usage. Tautologies, using rst-order logic, relations to natural language"

Transkrypt

1 First-order logic. Usage Tautologies, using rst-order logic, relations to natural language

2 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ);

3 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ);

4 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ;

5 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ;

6 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ;

7 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ;

8 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ;

9 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ;

10 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ;

11 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ);

12 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 9 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ);

13 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 9 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 10 xϕ xϕ;

14 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 9 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 10 xϕ xϕ; 11 x yϕ y xϕ;

15 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 9 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 10 xϕ xϕ; 11 x yϕ y xϕ; 12 x yϕ y xϕ;

16 A few important tautologies 1 x(ϕ ψ) ( xϕ xψ); 2 xϕ ϕ, o ile x FV (ϕ); 3 ϕ(s/x) xϕ; 4 xϕ x ϕ; 5 xϕ x ϕ; 6 x(ϕ ψ) xϕ xψ; 7 x(ϕ ψ) xϕ xψ; 8 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 9 x(ϕ ψ) ϕ xψ, o ile x FV (ϕ); 10 xϕ xϕ; 11 x yϕ y xϕ; 12 x yϕ y xϕ; 13 x yϕ y xϕ.

17 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open.

18 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form

19 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to:

20 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to: 1 y p(y) z q(z);

21 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to: 1 y p(y) z q(z); 2 y p(y) z q(z);

22 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to: 1 y p(y) z q(z); 2 y p(y) z q(z); 3 y( p(y) z q(z));

23 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to: 1 y p(y) z q(z); 2 y p(y) z q(z); 3 y( p(y) z q(z)); 4 y z( p(y) q(z));

24 Prenex normal form Formula ϕ is in prenex normal form, if it is Q 1 y 1 Q 2 y 2... Q n y n ψ where each Q i is either or, and ψ is open. Fact For every rst-order formula there exists an equivalent formula in prenex normal form Formula yp(y) zq(z) is equivalent to: 1 y p(y) z q(z); 2 y p(y) z q(z); 3 y( p(y) z q(z)); 4 y z( p(y) q(z)); 5 y z(p(y) q(z)).

25 First-order logic and natural language (in Polish) Ka»dy cyrulik sewilski goli tych wszystkich m»czyzn w Sewilli, którzy si sami nie gol. Ale nie goli»adnego z tych, którzy gol si sami. A zatem w Sewilli nie ma ani jednego cyrulika.

26

27 Implikacja materialna i zwi zek przyczynowo-skutkowy Implikacja w logice klasycznej to implikacja materialna. Warto± logiczna ϕ ψ zale»y wyª cznie od warto±ci logicznych przypisanych jego ϕ i ψ. To nie jest zwi zek przyczynowo-skutkowy ani nast pstwo chronologiczne. W j zyku polskim stwierdzenie je±li ϕ to ψ oczywi±cie sugeruje zwi zek przyczynowo-skutkowy: Je±li zasilanie jest wª czone, to terminal dziaªa. Implikacja materialna nie zachodzi. Materialn prawd jest Je±li terminal dziaªa to zasilanie jest wª czone.

28 Implikacja materialna i zwi zek przyczynowo-skutkowy Implikacja w logice klasycznej to implikacja materialna. Warto± logiczna ϕ ψ zale»y wyª cznie od warto±ci logicznych przypisanych jego ϕ i ψ. To nie jest zwi zek przyczynowo-skutkowy ani nast pstwo chronologiczne. W j zyku polskim stwierdzenie je±li ϕ to ψ oczywi±cie sugeruje zwi zek przyczynowo-skutkowy: Je±li zasilanie jest wª czone, to terminal dziaªa. Implikacja materialna nie zachodzi. Materialn prawd jest Je±li terminal dziaªa to zasilanie jest wª czone. Terminal dziaªa, poniewa» zasilanie jest wª czone, stwierdza zwi zek przyczynowo-skutkowy i faktyczne zaj±cie wymienionych zdarze«i jest niewyra»alne w logice klasycznej

29 Konfuzje skªadniowe: kwantykacja Ka»dy kot ma w sy. Pewien kot ma w sy.

30 Konfuzje skªadniowe: kwantykacja Ka»dy kot ma w sy. Pewien kot ma w sy. x(kot(x) MaW sy(x)); x(kot(x) MaW sy(x)).

31 Konfuzje skªadniowe: negacja Liczba n jest parzysta; Liczba n jest dwukrotno±ci pewnej liczby oznaczaj to samo.

32 Konfuzje skªadniowe: negacja Liczba n jest parzysta; Liczba n jest dwukrotno±ci pewnej liczby oznaczaj to samo. Zaprzeczeniem pierwszego z nich jest oczywi±cie zdanie Liczba n nie jest parzysta, ale zaprzeczeniem drugiego nie jest zdanie Liczba n nie jest dwukrotno±ci pewnej liczby,

33 Konfuzje skªadniowe: koniunkcja vs. alternatywa Zabrania si za±miecania i zanieczyszczania drogi. 1 Zabrania si za±miecania lub zanieczyszczania drogi. 2 1 Kodeks Drogowy przed nowelizacj w roku Kodeks Drogowy po nowelizacji w roku 1997.

34 Konfuzje kolejno±ci kwantykacji You can fool some of the people all of the time, and all of the people some of the time, but you can not fool all of the people all of the time. Abraham Lincoln

35 Konfuzje kolejno±ci kwantykacji Opcje: You can fool some of the people all of the time, and all of the people some of the time, but you can not fool all of the people all of the time. Abraham Lincoln ( p t...) ( p t...) ( p t...) ( t p...) ( t p...) ( p t...)

36 Konfuzje wynikania je±li A, to B je±li C, to B A B

37 Konfuzje wynikania je±li A, to B je±li C, to B A B Je±li Marysia ma do napisania esej, to b dzie do pó¹na pracowa w bibliotece. Je±li biblioteka b dzie otwarta pó¹nym wieczorem, to Marysia b dzie do pó¹na pracowa w bibliotece. Marysia ma do napisania esej. Marysia b dzie do pó¹na pracowa w bibliotece.

38 Konfuzje wynikania je±li A, to B je±li B, to C A B

39 Konfuzje wynikania je±li A, to B je±li B, to C A B Je±li telewizor Marii jest zepsuty, odda go do reperacji. Je±li Maria odda telewizor do reperacji, nie b dzie mogªa zapªaci rachunku za elektryczno±. Telewizor Marii jest zepsuty. Maria odda telewizor do reperacji.

40 Konfuzje wynikania je±li A, to B je±li B, to C A B

41 Konfuzje wynikania je±li A, to B je±li B, to C A B Je±li telewizor Marii jest zepsuty, odda go do reperacji. Je±li Maria odda telewizor do reperacji, nie b dzie mogªa wykupi lekarstw. Telewizor Marii jest zepsuty. Maria odda telewizor do reperacji.

42 Expressive power of rst-order logic

43 Expressive power of rst-order logic A sentence expresses a property of a structure

44 Expressive power of rst-order logic A sentence expresses a property of a structure Distinguishing structures Formalization of structure properties A formula denes a relation in a structure

45 Expressive power of rst-order logic A sentence expresses a property of a structure Distinguishing structures Formalization of structure properties A formula denes a relation in a structure Distinguishing elements in structures Formalization of element/tuple properties

46 Distinguishing structures Signature: Binary operation Constant ε.

47 Distinguishing structures Signature: Binary operation Constant ε. x 1 x 2 y( z 1 z 2 (y = z 1 z 2 y = z 1 y = z 2 ) y = x 1 y = x 2 y = ε) is:

48 Distinguishing structures Signature: Binary operation Constant ε. x 1 x 2 y( z 1 z 2 (y = z 1 z 2 y = z 1 y = z 2 ) y = x 1 y = x 2 y = ε) is: true in the structure {a, b},, ε of words over the alphabet {a, b} with concatenation and empty word.

49 Distinguishing structures Signature: Binary operation Constant ε. x 1 x 2 y( z 1 z 2 (y = z 1 z 2 y = z 1 y = z 2 ) y = x 1 y = x 2 y = ε) is: true in the structure {a, b},, ε of words over the alphabet {a, b} with concatenation and empty word. false in the structure {a, b, c},, ε of words over the alphabet {a, b, c} with concatenation and empty word.

50 Distinguishing structures Signature: Binary operation Constant ε. x 1 x 2 y( z 1 z 2 (y = z 1 z 2 y = z 1 y = z 2 ) y = x 1 y = x 2 y = ε) is: true in the structure {a, b},, ε of words over the alphabet {a, b} with concatenation and empty word. false in the structure {a, b, c},, ε of words over the alphabet {a, b, c} with concatenation and empty word. The sentence distinguishes those two structures

51 Formalization of element/tuple properties The ring of integers Z = Z, +,, 0, 1

52 Formalization of element/tuple properties The ring of integers Z = Z, +,, 0, 1 Formula z 1 z 2 z 3 z 4 y = x + (z 1 z 1 ) + (z 2 z 2 ) + (z 3 z 3 ) + (z 4 z 4 ) denes the relation x y.

53 Formalization of element/tuple properties The ring of integers Z = Z, +,, 0, 1 Formula z 1 z 2 z 3 z 4 y = x + (z 1 z 1 ) + (z 2 z 2 ) + (z 3 z 3 ) + (z 4 z 4 ) denes the relation x y. Lagrange's Four Squares Theorem Every positive integer is a sum of four squares of integers.

Logika pierwszego rz du. Sposób u»ycia. Tautologie, sposoby u»ywania logiki pierwszego rz du, zwi zki z j zykiem naturalnym

Logika pierwszego rz du. Sposób u»ycia. Tautologie, sposoby u»ywania logiki pierwszego rz du, zwi zki z j zykiem naturalnym Logika pierwszego rz du. Sposób u»ycia. Tautologie, sposoby u»ywania logiki pierwszego rz du, zwi zki z j zykiem naturalnym Kilka wa»nych tautologii 1 x(ϕ ψ) ( xϕ xψ); Kilka wa»nych tautologii 1 x(ϕ ψ)

Bardziej szczegółowo

Podstawy matematyki dla informatyków. Logika formalna. Skªadnia rachunku zda« Skróty i priorytety. Wykªad 10 (Klasyczny rachunek zda«) 15 grudnia 2011

Podstawy matematyki dla informatyków. Logika formalna. Skªadnia rachunku zda« Skróty i priorytety. Wykªad 10 (Klasyczny rachunek zda«) 15 grudnia 2011 Podstawy matematyki dla informatyków Logika formalna Wykªad 10 (Klasyczny rachunek zda«) 15 grudnia 2011 Skªadnia rachunku zda«symbole (zmienne) zdaniowe (p, q, r,...), oraz znaki i s formuªami zdaniowymi.

Bardziej szczegółowo

Helena Boguta, klasa 8W, rok szkolny 2018/2019

Helena Boguta, klasa 8W, rok szkolny 2018/2019 Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Składają się na

Bardziej szczegółowo

Steeple #3: Gödel s Silver Blaze Theorem. Selmer Bringsjord Are Humans Rational? Dec RPI Troy NY USA

Steeple #3: Gödel s Silver Blaze Theorem. Selmer Bringsjord Are Humans Rational? Dec RPI Troy NY USA Steeple #3: Gödel s Silver Blaze Theorem Selmer Bringsjord Are Humans Rational? Dec 6 2018 RPI Troy NY USA Gödels Great Theorems (OUP) by Selmer Bringsjord Introduction ( The Wager ) Brief Preliminaries

Bardziej szczegółowo

Previously on CSCI 4622

Previously on CSCI 4622 More Naïve Bayes aaace3icbvfba9rafj7ew423vr998obg2gpzkojyh4rcx3ys4lafzbjmjifdototmhoilml+hf/mn3+kl+jkdwtr64gbj+8yl2/ywklhsfircg/dvnp33s796mhdr4+fdj4+o3fvywvorkuqe5zzh0oanjakhwe1ra5zhaf5xvgvn35f62rlvtcyxpnm50awundy1hzwi46jbmgprbtrrvidrg4jre4g07kak+picee6xfgiwvfaltorirucni64eeigkqhpegbwaxglabftpyq4gjbls/hw2ci7tr2xj5ddfmfzwtazj6ubmyddgchbzpf88dmrktfonct6vazputos5zakunhfweow5ukcn+puq8m1ulm7kq+d154pokysx4zgxw4nwq6dw+rcozwnhbuu9et/tgld5cgslazuci1yh1q2ynca/u9ais0kukspulds3xxegvtyfycu8iwk1598e0z2xx/g6ef94ehbpo0d9ok9yiowsvfskh1ix2zcbpsdvaxgww7wj4zdn+he2hogm8xz9s+e7/4cuf/ata==

Bardziej szczegółowo

Logika intuicjonistyczna

Logika intuicjonistyczna 9 listopada 2011 Plan 1 2 3 4 Plan 1 2 3 4 Intuicjonizm Pogl d w lozoi matematyki wprowadzony w 1912 L. E. J. Brouwera. Twierdzenia matematyczne powstaj dzi ki intuicjom naszego umysªu. Skupienie si na

Bardziej szczegółowo

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 9: Inference in Structured Prediction

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 9: Inference in Structured Prediction TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 9: Inference in Structured Prediction 1 intro (1 lecture) Roadmap deep learning for NLP (5 lectures) structured prediction

Bardziej szczegółowo

Machine Learning for Data Science (CS4786) Lecture 11. Spectral Embedding + Clustering

Machine Learning for Data Science (CS4786) Lecture 11. Spectral Embedding + Clustering Machine Learning for Data Science (CS4786) Lecture 11 Spectral Embedding + Clustering MOTIVATING EXAMPLE What can you say from this network? MOTIVATING EXAMPLE How about now? THOUGHT EXPERIMENT For each

Bardziej szczegółowo

SSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1. Fry #65, Zeno #67. like

SSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1. Fry #65, Zeno #67. like SSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1 I SSW1.1, HFW Fry #65, Zeno #67 Benchmark: Qtr.1 like SSW1.2, HFW Fry #47, Zeno #59 Benchmark: Qtr.1 do SSW1.2, HFW Fry #5, Zeno #4 Benchmark: Qtr.1 to SSW1.2,

Bardziej szczegółowo

OpenPoland.net API Documentation

OpenPoland.net API Documentation OpenPoland.net API Documentation Release 1.0 Michał Gryczka July 11, 2014 Contents 1 REST API tokens: 3 1.1 How to get a token............................................ 3 2 REST API : search for assets

Bardziej szczegółowo

Weronika Mysliwiec, klasa 8W, rok szkolny 2018/2019

Weronika Mysliwiec, klasa 8W, rok szkolny 2018/2019 Poniższy zbiór zadań został wykonany w ramach projektu Mazowiecki program stypendialny dla uczniów szczególnie uzdolnionych - najlepsza inwestycja w człowieka w roku szkolnym 2018/2019. Tresci zadań rozwiązanych

Bardziej szczegółowo

x y x y x y x + y x y

x y x y x y x + y x y Algebra logiki 1 W zbiorze {0, 1} okre±lamy dziaªania dwuargumentowe,, +, oraz dziaªanie jednoargumentowe ( ). Dziaªanie x + y nazywamy dodawaniem modulo 2, a dziaªanie x y nazywamy kresk Sheera. x x 0

Bardziej szczegółowo

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 8: Structured PredicCon 2

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 8: Structured PredicCon 2 TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 8: Structured PredicCon 2 1 Roadmap intro (1 lecture) deep learning for NLP (5 lectures) structured predic+on (4 lectures)

Bardziej szczegółowo

SubVersion. Piotr Mikulski. SubVersion. P. Mikulski. Co to jest subversion? Zalety SubVersion. Wady SubVersion. Inne różnice SubVersion i CVS

SubVersion. Piotr Mikulski. SubVersion. P. Mikulski. Co to jest subversion? Zalety SubVersion. Wady SubVersion. Inne różnice SubVersion i CVS Piotr Mikulski 2006 Subversion is a free/open-source version control system. That is, Subversion manages files and directories over time. A tree of files is placed into a central repository. The repository

Bardziej szczegółowo

Zakopane, plan miasta: Skala ok. 1: = City map (Polish Edition)

Zakopane, plan miasta: Skala ok. 1: = City map (Polish Edition) Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Click here if your download doesn"t start automatically Zakopane, plan miasta: Skala ok. 1:15 000 = City map (Polish Edition) Zakopane,

Bardziej szczegółowo

Tychy, plan miasta: Skala 1: (Polish Edition)

Tychy, plan miasta: Skala 1: (Polish Edition) Tychy, plan miasta: Skala 1:20 000 (Polish Edition) Poland) Przedsiebiorstwo Geodezyjno-Kartograficzne (Katowice Click here if your download doesn"t start automatically Tychy, plan miasta: Skala 1:20 000

Bardziej szczegółowo

Logika matematyczna (16) (JiNoI I)

Logika matematyczna (16) (JiNoI I) Logika matematyczna (16) (JiNoI I) Jerzy Pogonowski Zakªad Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 15/16 lutego 2007 Jerzy Pogonowski (MEG) Logika matematyczna (16) (JiNoI I) 15/16

Bardziej szczegółowo

deep learning for NLP (5 lectures)

deep learning for NLP (5 lectures) TTIC 31210: Advanced Natural Language Processing Kevin Gimpel Spring 2019 Lecture 6: Finish Transformers; Sequence- to- Sequence Modeling and AJenKon 1 Roadmap intro (1 lecture) deep learning for NLP (5

Bardziej szczegółowo

MaPlan Sp. z O.O. Click here if your download doesn"t start automatically

MaPlan Sp. z O.O. Click here if your download doesnt start automatically Mierzeja Wislana, mapa turystyczna 1:50 000: Mikoszewo, Jantar, Stegna, Sztutowo, Katy Rybackie, Przebrno, Krynica Morska, Piaski, Frombork =... = Carte touristique (Polish Edition) MaPlan Sp. z O.O Click

Bardziej szczegółowo

DODATKOWE ĆWICZENIA EGZAMINACYJNE

DODATKOWE ĆWICZENIA EGZAMINACYJNE I.1. X Have a nice day! Y a) Good idea b) See you soon c) The same to you I.2. X: This is my new computer. Y: Wow! Can I have a look at the Internet? X: a) Thank you b) Go ahead c) Let me try I.3. X: What

Bardziej szczegółowo

TTIC 31190: Natural Language Processing

TTIC 31190: Natural Language Processing TTIC 31190: Natural Language Processing Kevin Gimpel Spring 2018 Lecture 17: Machine TranslaDon; SemanDcs Roadmap words, morphology, lexical semandcs text classificadon simple neural methods for NLP language

Bardziej szczegółowo

Machine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis

Machine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis Machine Learning for Data Science (CS4786) Lecture11 5 Random Projections & Canonical Correlation Analysis The Tall, THE FAT AND THE UGLY n X d The Tall, THE FAT AND THE UGLY d X > n X d n = n d d The

Bardziej szczegółowo

Marzec: food, advertising, shopping and services, verb patterns, adjectives and prepositions, complaints - writing

Marzec: food, advertising, shopping and services, verb patterns, adjectives and prepositions, complaints - writing Wymagania na podstawie Podstawy programowej kształcenia ogólnego dla szkoły podstawowej język obcy oraz polecanego podręcznika New Matura Success Intermediate * Cele z podstawy programowej: rozumienie

Bardziej szczegółowo

y = The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Explain your answer, write in complete sentences.

y = The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Explain your answer, write in complete sentences. The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Eplain your answer, write in complete sentences. 1. Find the derivative of the functions y 7 (b) (a) ( ) y t 1 + t 1 (c)

Bardziej szczegółowo

SID Wykład 7 Zbiory rozmyte

SID Wykład 7 Zbiory rozmyte SID Wykład 7 Zbiory rozmyte Wydział Matematyki, Informatyki i Mechaniki UW slezak@mimuw.edu.pl Wstęp Language Ontological Commitment Epistemological Commitment (What exists in the world) (What an agent

Bardziej szczegółowo

Miedzy legenda a historia: Szlakiem piastowskim z Poznania do Gniezna (Biblioteka Kroniki Wielkopolski) (Polish Edition)

Miedzy legenda a historia: Szlakiem piastowskim z Poznania do Gniezna (Biblioteka Kroniki Wielkopolski) (Polish Edition) Miedzy legenda a historia: Szlakiem piastowskim z Poznania do Gniezna (Biblioteka Kroniki Wielkopolski) (Polish Edition) Piotr Maluskiewicz Click here if your download doesn"t start automatically Miedzy

Bardziej szczegółowo

USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian

USB firmware changing guide. Zmiana oprogramowania za przy użyciu połączenia USB. Changelog / Lista Zmian 1 / 9 Content list / Spis Treści 1. Hardware and software requirements, preparing device to upgrade Wymagania sprzętowe i programowe, przygotowanie urządzenia do aktualizacji 2. Installing drivers and

Bardziej szczegółowo

Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition)

Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition) Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition) J Krupski Click here if your download doesn"t start automatically Karpacz, plan miasta 1:10 000: Panorama

Bardziej szczegółowo

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:

Bardziej szczegółowo

Rachunek lambda, zima

Rachunek lambda, zima Rachunek lambda, zima 2015-16 Wykład 2 12 października 2015 Tydzień temu: Własność Churcha-Rossera (CR) Jeśli a b i a c, to istnieje takie d, że b d i c d. Tydzień temu: Własność Churcha-Rossera (CR) Jeśli

Bardziej szczegółowo

Linear Classification and Logistic Regression. Pascal Fua IC-CVLab

Linear Classification and Logistic Regression. Pascal Fua IC-CVLab Linear Classification and Logistic Regression Pascal Fua IC-CVLab 1 aaagcxicbdtdbtmwfafwdgxlhk8orha31ibqycvkdgpshdqxtwotng2pxtvqujmok1qlky5xllzrnobbediegwcap4votk2kqkf+/y/tnphdschtadu/giv3vtea99cfma8fpx7ytlxx7ckns4sylo3doom7jguhj1hxchmy/irhrlgh67lxb5x3blis8jjqynmedqujiu5zsqqagrx+yjcfpcrydusshmzeluzsg7tttiew5khhcuzm5rv0gn1unw6zl3gbzlpr3liwncyr6aaqinx4wnc/rpg6ix5szd86agoftuu0g/krjxdarph62enthdey3zn/+mi5zknou2ap+tclvhob9sxhwvhaqketnde7geqjp21zvjsfrcnkfhtejoz23vq97elxjlpbtmxpl6qxtl1sgfv1ptpy/yq9mgacrzkgje0hjj2rq7vtywnishnnkzsqekucnlblrarlh8x8szxolrrxkb8n6o4kmo/e7siisnozcfvsedlol60a/j8nmul/gby8mmssrfr2it8lkyxr9dirxxngzthtbaejv

Bardziej szczegółowo

Programowanie wspóªbie»ne

Programowanie wspóªbie»ne 1 Programowanie wspóªbie»ne wiczenia 5 monitory cz. 1 Zadanie 1: Stolik dwuosobowy raz jeszcze W systemie dziaªa N par procesów. Procesy z pary s nierozró»nialne. Ka»dy proces cyklicznie wykonuje wªasnesprawy,

Bardziej szczegółowo

Katowice, plan miasta: Skala 1: = City map = Stadtplan (Polish Edition)

Katowice, plan miasta: Skala 1: = City map = Stadtplan (Polish Edition) Katowice, plan miasta: Skala 1:20 000 = City map = Stadtplan (Polish Edition) Polskie Przedsiebiorstwo Wydawnictw Kartograficznych im. Eugeniusza Romera Click here if your download doesn"t start automatically

Bardziej szczegółowo

Has the heat wave frequency or intensity changed in Poland since 1950?

Has the heat wave frequency or intensity changed in Poland since 1950? Has the heat wave frequency or intensity changed in Poland since 1950? Joanna Wibig Department of Meteorology and Climatology, University of Lodz, Poland OUTLINE: Motivation Data Heat wave frequency measures

Bardziej szczegółowo

Zmiany techniczne wprowadzone w wersji Comarch ERP Altum

Zmiany techniczne wprowadzone w wersji Comarch ERP Altum Zmiany techniczne wprowadzone w wersji 2018.2 Copyright 2016 COMARCH SA Wszelkie prawa zastrzeżone Nieautoryzowane rozpowszechnianie całości lub fragmentu niniejszej publikacji w jakiejkolwiek postaci

Bardziej szczegółowo

Algorytmy zwiazane z gramatykami bezkontekstowymi

Algorytmy zwiazane z gramatykami bezkontekstowymi Algorytmy zwiazane z gramatykami bezkontekstowymi Rozpoznawanie j zyków bezkontekstowych Problem rozpoznawania j zyka L polega na sprawdzaniu przynale»no±ci sªowa wej±ciowego x do L. Zakªadamy,»e j zyk

Bardziej szczegółowo

Revenue Maximization. Sept. 25, 2018

Revenue Maximization. Sept. 25, 2018 Revenue Maximization Sept. 25, 2018 Goal So Far: Ideal Auctions Dominant-Strategy Incentive Compatible (DSIC) b i = v i is a dominant strategy u i 0 x is welfare-maximizing x and p run in polynomial time

Bardziej szczegółowo

Instrukcja obsługi User s manual

Instrukcja obsługi User s manual Instrukcja obsługi User s manual Konfigurator Lanberg Lanberg Configurator E-mail: support@lanberg.pl support@lanberg.eu www.lanberg.pl www.lanberg.eu Lanberg 2015-2018 WERSJA VERSION: 2018/11 Instrukcja

Bardziej szczegółowo

Prices and Volumes on the Stock Market

Prices and Volumes on the Stock Market Prices and Volumes on the Stock Market Krzysztof Karpio Piotr Łukasiewicz Arkadiusz Orłowski Warszawa, 25-27 listopada 2010 1 Data selection Warsaw Stock Exchange WIG index assets most important for investors

Bardziej szczegółowo

Rachunek zda«. Relacje. 2018/2019

Rachunek zda«. Relacje. 2018/2019 Rachunek zda«. Relacje. 2018/2019 Zdanie logiczne. Zdaniem logicznym nazywamy ka»de wyra»enie, któremu mo»na przyporz dkowa jedn z dwóch warto±ci logicznych: 0 czyli faªsz b d¹ 1 czyli prawda. Zdanie logiczne.

Bardziej szczegółowo

PORTS AS LOGISTICS CENTERS FOR CONSTRUCTION AND OPERATION OF THE OFFSHORE WIND FARMS - CASE OF SASSNITZ

PORTS AS LOGISTICS CENTERS FOR CONSTRUCTION AND OPERATION OF THE OFFSHORE WIND FARMS - CASE OF SASSNITZ Part-financed by EU South Baltic Programme w w w. p t m e w. p l PROSPECTS OF THE OFFSHORE WIND ENERGY DEVELOPMENT IN POLAND - OFFSHORE WIND INDUSTRY IN THE COASTAL CITIES AND PORT AREAS PORTS AS LOGISTICS

Bardziej szczegółowo

How to translate Polygons

How to translate Polygons How to translate Polygons Translation procedure. 1) Open polygons.img in Imagine 2) Press F4 to open Memory Window 3) Find and edit tlumacz class, edit all the procedures (listed below) 4) Invent a new

Bardziej szczegółowo

Extraclass. Football Men. Season 2009/10 - Autumn round

Extraclass. Football Men. Season 2009/10 - Autumn round Extraclass Football Men Season 2009/10 - Autumn round Invitation Dear All, On the date of 29th July starts the new season of Polish Extraclass. There will be live coverage form all the matches on Canal+

Bardziej szczegółowo

Konserwatorska i czynna ochrona przyrody Czym jest ochrona przyrody? dr Wiktor Kotowski Zakład Ekologii Roślin i Ochrony Środowiska UW

Konserwatorska i czynna ochrona przyrody Czym jest ochrona przyrody? dr Wiktor Kotowski Zakład Ekologii Roślin i Ochrony Środowiska UW Konserwatorska i czynna ochrona przyrody Czym jest ochrona przyrody? dr Wiktor Kotowski Zakład Ekologii Roślin i Ochrony Środowiska UW 1 Czym jest przyroda? wszystko czego nie stworzył człowiek (Wikipedia)

Bardziej szczegółowo

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:

Bardziej szczegółowo

Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI

Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI Domy inaczej pomyślane A different type of housing CEZARY SANKOWSKI O tym, dlaczego warto budować pasywnie, komu budownictwo pasywne się opłaca, a kto się go boi, z architektem, Cezarym Sankowskim, rozmawia

Bardziej szczegółowo

EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH

EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH Anna BŁACH Centre of Geometry and Engineering Graphics Silesian University of Technology in Gliwice EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH Introduction Computer techniques

Bardziej szczegółowo

HAPPY ANIMALS L01 HAPPY ANIMALS L03 HAPPY ANIMALS L05 HAPPY ANIMALS L07

HAPPY ANIMALS L01 HAPPY ANIMALS L03 HAPPY ANIMALS L05 HAPPY ANIMALS L07 HAPPY ANIMALS L0 HAPPY ANIMALS L0 HAPPY ANIMALS L0 HAPPY ANIMALS L07 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS Akcesoria / Fittings K ZW W8 W7 Ø x 6 szt. / pcs Ø7 x 70 Narzędzia / Tools DO MONTAŻU POTRZEBNE

Bardziej szczegółowo

Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl. magda.szewczyk@slo-wroc.pl. Twoje konto Wyloguj. BIODIVERSITY OF RIVERS: Survey to students

Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl. magda.szewczyk@slo-wroc.pl. Twoje konto Wyloguj. BIODIVERSITY OF RIVERS: Survey to students Ankiety Nowe funkcje! Pomoc magda.szewczyk@slo-wroc.pl Back Twoje konto Wyloguj magda.szewczyk@slo-wroc.pl BIODIVERSITY OF RIVERS: Survey to students Tworzenie ankiety Udostępnianie Analiza (55) Wyniki

Bardziej szczegółowo

HAPPY ANIMALS L02 HAPPY ANIMALS L04 HAPPY ANIMALS L06 HAPPY ANIMALS L08

HAPPY ANIMALS L02 HAPPY ANIMALS L04 HAPPY ANIMALS L06 HAPPY ANIMALS L08 HAPPY ANIMALS L02 HAPPY ANIMALS L04 HAPPY ANIMALS L06 HAPPY ANIMALS L08 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS Akcesoria / Fittings K O G ZW W8 W4 20 szt. / pcs 4 szt. / pcs 4 szt. / pcs 4 szt. / pcs

Bardziej szczegółowo

Wyk lad 8: Leniwe metody klasyfikacji

Wyk lad 8: Leniwe metody klasyfikacji Wyk lad 8: Leniwe metody Wydzia l MIM, Uniwersytet Warszawski Outline 1 2 lazy vs. eager learning lazy vs. eager learning Kiedy stosować leniwe techniki? Eager learning: Buduje globalna hipoteze Zaleta:

Bardziej szczegółowo

Wyra»enia logicznie równowa»ne

Wyra»enia logicznie równowa»ne Wyra»enia logicznie równowa»ne Denicja. Wyra»enia rachunku zda«nazywamy logicznie równowa»nymi, gdy maj równe warto±ci logiczne dla dowolnych warto±ci logicznych zmiennych zdaniowych. 1 Przykªady: Wyra»enia

Bardziej szczegółowo

Warszawa Wola, ul. Sienna

Warszawa Wola, ul. Sienna Warszawa Wola, ul. Sienna Mieszkanie na wynajem za 6 500 PLN pow. 83 m2 3 pokoje piętro 3 z 6 2012 r. 78,31 PLN/m2 Opis nieruchomości: *** English description below *****:: Krótko: Centrum miasta. Apartament

Bardziej szczegółowo

General Certificate of Education Ordinary Level ADDITIONAL MATHEMATICS 4037/12

General Certificate of Education Ordinary Level ADDITIONAL MATHEMATICS 4037/12 UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS General Certificate of Education Ordinary Level www.xtremepapers.com *6378719168* ADDITIONAL MATHEMATICS 4037/12 Paper 1 May/June 2013 2 hours Candidates

Bardziej szczegółowo

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:

Bardziej szczegółowo

Inżynieria Wiedzy i Systemy Ekspertowe. Niepewność wiedzy. dr inż. Michał Bereta Politechnika Krakowska

Inżynieria Wiedzy i Systemy Ekspertowe. Niepewność wiedzy. dr inż. Michał Bereta Politechnika Krakowska Inżynieria Wiedzy i Systemy Ekspertowe Niepewność wiedzy dr inż. Michał Bereta Politechnika Krakowska http://torus.uck.pk.edu.pl/~beretam/ beretam@torus.uck.pk.edu.pl 1 Logika Rozmyta (Fuzzy Logic) Mimo

Bardziej szczegółowo

EuroWeek Szkoła Liderów 2015

EuroWeek Szkoła Liderów 2015 EuroWeek Szkoła Liderów 2015 Tegoroczny Obóz Językowy Euroweek, niewątpliwie był jednym z tych wyjazdów, które zapadają w pamięci na długie lata. Grupa uczniów z naszej szkoły wraz z nauczycielem języka

Bardziej szczegółowo

Instrukcje DQL: SELECT. Zastosowanie SELECT, opcje i warianty

Instrukcje DQL: SELECT. Zastosowanie SELECT, opcje i warianty Wprowadzenie do psql i SQL 1 Bazy Danych Wykład p.t. Instrukcje DQL: SELECT. Zastosowanie SELECT, opcje i warianty Antoni Ligęza ligeza@agh.edu.pl http://galaxy.uci.agh.edu.pl/~ligeza Wykorzystano materiały:

Bardziej szczegółowo

You have the right to live your life free from fear, violence and abuse

You have the right to live your life free from fear, violence and abuse You have the right to live your life free from fear, violence and abuse Telefon zaufania w sprawach przemocy domowej w Sheffield Mają Państwo prawo żyć bez strachu i bez przemocy. Khadka Caawinta Xad-gudubka

Bardziej szczegółowo

Instrukcja obsługi. ibind A8/A12/A15/A20. instruction manual. 80-393 GDAŃSK ul. Krynicka 1 tel.: (058) 55 43 555 fax: (058) 55 43 500

Instrukcja obsługi. ibind A8/A12/A15/A20. instruction manual. 80-393 GDAŃSK ul. Krynicka 1 tel.: (058) 55 43 555 fax: (058) 55 43 500 Instrukcja obsługi instruction manual 80-9 GDAŃSK ul. Krynicka tel.: (08) fax: (08) 00 ODDZIAŁ: 0-78 WARSZAWA ul. Janowskiego 9 tel.: (0) 8 0 8..9 fax: (0) 8 0 0 BindownicE ibind A8/A/A/A0 BINDING MACHINEs

Bardziej szczegółowo

Analysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2

Analysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2 Analysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2 aaaklnictzzjb9tgfmcnadpg7oy0lxa9edva9kkapdarhyk2k7gourinlwsweyzikuyiigvyleiv/cv767fpf/5crc1xt9va5mx7w3m/ecuqw1kuztpx/rl3/70h73/w4cog9dhhn3z62d6jzy+yzj766txpoir9nzszisjynetqr+rvlfvyoozu5xbybpsxb1wahul8phczdt2v4zgchb7uecwphlyigrgkjcyiflfyci0kxnmr4z6kw0jsokvot8isntpa3gbknlcufiv/h+hh+eur4fomd417rvtfjoit5pfju6yxiab2fmwk0y/feuybobqk+axnke8xzjjhfyd8kkpl9zdoddkazd5j6bzpemjb64smjb6vb4xmehysu08lsrszopxftlzee130jcb0zjxy7r5wa2f1s2off2+dyatrughnrtpkuprlcpu55zlxpss/yqe2eamjkcf0jye8w8yas0paf6t0t2i9stmcua+inbi2rt01tz22tubbqwidypvgz6piynkpobirkxgu54ibzoti4pkw2i5ow9lnuaoabhuxfxqhvnrj6w15tb3furnbm+scyxobjhr5pmj5j/w5ix9wsa2tlwx9alpshlunzjgnrwvqbpwzjl9wes+ptyn+ypy/jgskavtl8j0hz1djdhzwtpjbbvpr1zj7jpg6ve7zxfngj75zee0vmp9qm2uvgu/9zdofq6r+g8l4xctvo+v+xdrfr8oxiwutycu0qgyf8icuyvp/sixfi9zxe11vp6mrjjovpmxm6acrtbia+wjr9bevlgjwlz5xd3rfna9g06qytaoofk8olxbxc7xby2evqjmmk6pjvvzxmpbnct6+036xp5vdbrnbdqph8brlfn/n/khnfumhf6z1v7h/80yieukkd5j0un82t9mynxzmk0s/bzn4tacdziszdhwrl8x5ako8qp1n1zn0k6w2em0km9zj1i4yt1pt3xiprw85jmc2m1ut2geum6y6es2fwx6c+wlrpykblopbuj5nnr2byygfy5opllv4+jmm7s6u+tvhywbnb0kv2lt5th4xipmiij+y1toiyo7bo0d+vzvovjkp6aoejsubhj3qrp3fjd/m23pay8h218ibvx3nicofvd1xi86+kh6nb/b+hgsjp5+qwpurzlir15np66vmdehh6tyazdm1k/5ejtuvurgcqux6yc+qw/sbsaj7lkt4x9qmtp7euk6zbdedyuzu6ptsu2eeu3rxcz06uf6g8wyuveznhkbzynajbb7r7cbmla+jbtrst0ow2v6ntkwv8svnwqnu5pa3oxfeexf93739p93chq/fv+jr8r0d9brhpcxr2w88bvqbr41j6wvrb+u5dzjpvx+veoaxwptzp/8cen+xbg==

Bardziej szczegółowo

Arrays -II. Arrays. Outline ECE Cal Poly Pomona Electrical & Computer Engineering. Introduction

Arrays -II. Arrays. Outline ECE Cal Poly Pomona Electrical & Computer Engineering. Introduction ECE 114-9 Arrays -II Dr. Z. Aliyazicioglu Electrical & Computer Engineering Electrical & Computer Engineering 1 Outline Introduction Arrays Declaring and Allocation Arrays Examples Using Arrays Passing

Bardziej szczegółowo

BLACKLIGHT SPOT 400W F

BLACKLIGHT SPOT 400W F BLACKLIGHT SPOT 400W F2000339 USER MANUAL / INSTRUKCJA OBSŁUGI BLACKLIGHT SPOT 400W F2000339 Table of Contents 1 Introduction... 2 2 Safety information... 2 3 Product information... 2 3.1 Specification...

Bardziej szczegółowo

Zdecyduj: Czy to jest rzeczywiście prześladowanie? Czasem coś WYDAJE SIĘ złośliwe, ale wcale takie nie jest.

Zdecyduj: Czy to jest rzeczywiście prześladowanie? Czasem coś WYDAJE SIĘ złośliwe, ale wcale takie nie jest. Zdecyduj: Czy to jest rzeczywiście prześladowanie? Czasem coś WYDAJE SIĘ złośliwe, ale wcale takie nie jest. Miłe przezwiska? Nie wszystkie przezwiska są obraźliwe. Wiele przezwisk świadczy o tym, że osoba,

Bardziej szczegółowo

ROZDZIAŁ 1. Rachunek funkcyjny

ROZDZIAŁ 1. Rachunek funkcyjny ROZDZIAŁ 1 Rachunek funkcyjny Niech X 1,..., X n będą dowolnymi zbiorami. Wyrażenie (formułę) ϕ(x 1,..., x n ), w którym występuje n zmiennych x 1,..., x n i które zamienia się w zdanie logiczne, gdy zamiast

Bardziej szczegółowo

DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE!

DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE! 1 HAPPY ANIMALS B09 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS Akcesoria / Fittings K1 M M1 ZM1 Z T G1 17 szt. / pcs 13 szt. / pcs B1 13 szt. / pcs W4 13 szt. / pcs W6 14 szt. / pcs U1 1 szt. / pcs U N1

Bardziej szczegółowo

Polski Krok Po Kroku: Tablice Gramatyczne (Polish Edition) By Anna Stelmach

Polski Krok Po Kroku: Tablice Gramatyczne (Polish Edition) By Anna Stelmach Polski Krok Po Kroku: Tablice Gramatyczne (Polish Edition) By Anna Stelmach If you are looking for the ebook by Anna Stelmach Polski krok po kroku: Tablice gramatyczne (Polish Edition) in pdf form, in

Bardziej szczegółowo

Język angielski. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą CZĘŚĆ I KRYTERIA OCENIANIA ODPOWIEDZI POZIOM ROZSZERZONY CZĘŚĆ I

Język angielski. Poziom rozszerzony Próbna Matura z OPERONEM i Gazetą Wyborczą CZĘŚĆ I KRYTERIA OCENIANIA ODPOWIEDZI POZIOM ROZSZERZONY CZĘŚĆ I Poziom rozszerzony Język angielski Język angielski. Poziom rozszerzony KRYTERIA OCENIANIA ODPOWIEDZI POZIOM ROZSZERZONY CZĘŚĆ I W schemacie oceniania zadań otwartych są prezentowane przykładowe odpowiedzi.

Bardziej szczegółowo

Bazy danych. Plan wykładu. Podzapytania - wskazówki. Podzapytania po FROM. Wykład 5: Zalenoci wielowartociowe. Sprowadzanie do postaci normalnych.

Bazy danych. Plan wykładu. Podzapytania - wskazówki. Podzapytania po FROM. Wykład 5: Zalenoci wielowartociowe. Sprowadzanie do postaci normalnych. Plan wykładu azy danych Wykład 5: Zalenoci wielowartociowe. Sprowadzanie do postaci normalnych. Dokoczenie SQL Zalenoci wielowartociowe zwarta posta normalna Dekompozycja do 4NF Przykład sprowadzanie do

Bardziej szczegółowo

Jak działa grawitacja?

Jak działa grawitacja? Nazwa projektu: Kreatywni i innowacyjni uczniowie konkurencyjni na rynku pracy DZIAŁANIE 3.2 EDUKACJA OGÓLNA PODDZIAŁANIE 3.2.1 JAKOŚĆ EDUKACJI OGÓLNEJ Projekt współfinansowany przez Unię Europejską w

Bardziej szczegółowo

Pielgrzymka do Ojczyzny: Przemowienia i homilie Ojca Swietego Jana Pawla II (Jan Pawel II-- pierwszy Polak na Stolicy Piotrowej) (Polish Edition)

Pielgrzymka do Ojczyzny: Przemowienia i homilie Ojca Swietego Jana Pawla II (Jan Pawel II-- pierwszy Polak na Stolicy Piotrowej) (Polish Edition) Pielgrzymka do Ojczyzny: Przemowienia i homilie Ojca Swietego Jana Pawla II (Jan Pawel II-- pierwszy Polak na Stolicy Piotrowej) (Polish Edition) Click here if your download doesn"t start automatically

Bardziej szczegółowo

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie), Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości

Bardziej szczegółowo

Nie musisz odnosić sukcesów ciągle, lecz tylko wystarczająco często

Nie musisz odnosić sukcesów ciągle, lecz tylko wystarczająco często Nie musisz odnosić sukcesów ciągle, lecz tylko wystarczająco często Współpracuj z nami O FIRMIE Hutchinson Institute to nowoczesna organizacja szkoleniowa zajmująca się kształceniem dorosłych w zakresie

Bardziej szczegółowo

DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE!

DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE! HAPPY ANIMALS RW08 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS Akcesoria / Fittings K M M ZM ZW G 0 szt. / pcs W szt. / pcs B szt. / pcs szt. / pcs W U 8 szt. / pcs 4 szt. / pcs U N szt. / pcs Ø3 x szt. /

Bardziej szczegółowo

Instrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX

Instrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX UNIWERSYTETU BIBLIOTEKA IEGO UNIWERSYTETU IEGO Instrukcja konfiguracji usługi Wirtualnej Sieci Prywatnej w systemie Mac OSX 1. Make a new connection Open the System Preferences by going to the Apple menu

Bardziej szczegółowo

Warszawa Wola, ul. Sienna

Warszawa Wola, ul. Sienna Warszawa Wola, ul. Sienna Mieszkanie na wynajem za 6 500 PLN pow. 83 m2 3 pokoje piętro 3 z 6 2012 r. 78,31 PLN/m2 Opis nieruchomości: *** English description below *****:: Krótko: Centrum miasta. Apartament

Bardziej szczegółowo

HAPPY K04 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE! W5 W6 G1 T2 U1 U2 TZ1

HAPPY K04 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS DO MONTAŻU POTRZEBNE SĄ DWIE OSOBY! INSTALLATION REQUIRES TWO PEOPLE! W5 W6 G1 T2 U1 U2 TZ1 HAPPY K0 INSTRUKCJA MONTAŻU ASSEMBLY INSTRUCTIONS W Akcesoria / Fittings W W G K szt. / pcs M Ø Ø 0 Ø, Ø Ø. 0 ø8 M 8 szt. / pcs 0 szt. / pcs szt. / pcs T U U szt. / pcs szt. / pcs szt. / pcs S TZ szt.

Bardziej szczegółowo

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition) Robert Respondowski Click here if your download doesn"t start automatically Wojewodztwo Koszalinskie:

Bardziej szczegółowo

Surname. Other Names. For Examiner s Use Centre Number. Candidate Number. Candidate Signature

Surname. Other Names. For Examiner s Use Centre Number. Candidate Number. Candidate Signature A Surname _ Other Names For Examiner s Use Centre Number Candidate Number Candidate Signature Polish Unit 1 PLSH1 General Certificate of Education Advanced Subsidiary Examination June 2014 Reading and

Bardziej szczegółowo

Matematyka ETId Elementy logiki

Matematyka ETId Elementy logiki Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,

Bardziej szczegółowo

Przeciwpożarowe sterowniki dla bram zwijanych, sekcyjnych i przesuwnych. Fire-proof controls for roller shutters, sectional doors and sliding gates

Przeciwpożarowe sterowniki dla bram zwijanych, sekcyjnych i przesuwnych. Fire-proof controls for roller shutters, sectional doors and sliding gates Przeciwpożarowe napędy bram Charakterystyka Characteristics Fire-proof door drives 36 Przeciwpożarowe sterowniki dla bram zwijanych, sekcyjnych i przesuwnych Fire-proof controls for roller shutters, sectional

Bardziej szczegółowo

Lista egzaminacyjna zadań z matematycznych podstaw informatyki, wersja 3.

Lista egzaminacyjna zadań z matematycznych podstaw informatyki, wersja 3. 1 Lista egzaminacyjna zadań z matematycznych podstaw informatyki, wersja 3. Funkcje pierwotnie rekurencyjne. Problemy: Zapoznaj się z teorią funkcji pierwotnie rekurencyjnych. Ważne są definicje klasy

Bardziej szczegółowo

Plan bazy: Kod zakładający bazę danych: DROP TABLE noclegi CASCADE; CREATE TABLE noclegi( id_noclegu SERIAL NOT NULL,

Plan bazy: Kod zakładający bazę danych: DROP TABLE noclegi CASCADE; CREATE TABLE noclegi( id_noclegu SERIAL NOT NULL, Mój projekt przedstawia bazę danych noclegów składającą się z 10 tabel. W projekcie wykorzystuje program LibreOffice Base do połączenia psql z graficznym interfejsem ( kilka formularzy przedstawiających

Bardziej szczegółowo

Mixed-integer Convex Representability

Mixed-integer Convex Representability Mixed-integer Convex Representability Juan Pablo Vielma Massachuse=s Ins?tute of Technology Joint work with Miles Lubin and Ilias Zadik INFORMS Annual Mee?ng, Phoenix, AZ, November, 2018. Mixed-Integer

Bardziej szczegółowo

International Baccalaureate Diploma Programme. w Prywatnym Liceum Ogólnokształcącym im. Melchiora Wańkowicza

International Baccalaureate Diploma Programme. w Prywatnym Liceum Ogólnokształcącym im. Melchiora Wańkowicza nternational Baccalaureate Diploma Programme w Prywatnym Liceum Ogólnokształcącym im. Melchiora Wańkowicza nternational Baccalaureate Organization Główną siedzibą organizacji jest Genewa, Szwajcaria. Programy:

Bardziej szczegółowo

Baza danych dla potrzeb zgłębiania DMX

Baza danych dla potrzeb zgłębiania DMX Baza danych dla potrzeb zgłębiania DMX ID Outlook Temperature Humidity Windy PLAY 1 sunny hot high false N 2 sunny hot high true N 3 overcast hot high false T 4rain mild high false T 5rain cool normal

Bardziej szczegółowo

Convolution semigroups with linear Jacobi parameters

Convolution semigroups with linear Jacobi parameters Convolution semigroups with linear Jacobi parameters Michael Anshelevich; Wojciech Młotkowski Texas A&M University; University of Wrocław February 14, 2011 Jacobi parameters. µ = measure with finite moments,

Bardziej szczegółowo

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017 i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski Uniwersytet Šódzki, Wydziaª Matematyki i Informatyki UŠ piotr@fulmanski.pl http://fulmanski.pl/zajecia/prezentacje/festiwalnauki2017/festiwal_wmii_2017_

Bardziej szczegółowo

INSTRUKCJE JAK AKTYWOWAĆ SWOJE KONTO PAYLUTION

INSTRUKCJE JAK AKTYWOWAĆ SWOJE KONTO PAYLUTION INSTRUKCJE JAK AKTYWOWAĆ SWOJE KONTO PAYLUTION Kiedy otrzymana przez Ciebie z Jeunesse, karta płatnicza została zarejestrowana i aktywowana w Joffice, możesz przejść do aktywacji swojego konta płatniczego

Bardziej szczegółowo

Egzamin maturalny z języka angielskiego na poziomie dwujęzycznym Rozmowa wstępna (wyłącznie dla egzaminującego)

Egzamin maturalny z języka angielskiego na poziomie dwujęzycznym Rozmowa wstępna (wyłącznie dla egzaminującego) 112 Informator o egzaminie maturalnym z języka angielskiego od roku szkolnego 2014/2015 2.6.4. Część ustna. Przykładowe zestawy zadań Przykładowe pytania do rozmowy wstępnej Rozmowa wstępna (wyłącznie

Bardziej szczegółowo

17-18 września 2016 Spółka Limited w UK. Jako Wehikuł Inwestycyjny. Marek Niedźwiedź. InvestCamp 2016 PL

17-18 września 2016 Spółka Limited w UK. Jako Wehikuł Inwestycyjny. Marek Niedźwiedź. InvestCamp 2016 PL 17-18 września 2016 Spółka Limited w UK Jako Wehikuł Inwestycyjny InvestCamp 2016 PL Marek Niedźwiedź A G E N D A Dlaczego Spółka Ltd? Stabilność Bezpieczeństwo Narzędzia 1. Stabilność brytyjskiego systemu

Bardziej szczegółowo

Elementy logiki i teorii mnogości

Elementy logiki i teorii mnogości Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy

Bardziej szczegółowo

Programowanie w Logice Przykłady programów. Przemysław Kobylański

Programowanie w Logice Przykłady programów. Przemysław Kobylański Programowanie w Logice Przykłady programów Przemysław Kobylański Język Imperator 1 jest prostym językiem imperatywnym. Jego składnię opisuje poniższa gramatyka BNF: PROGRAM ::= PROGRAM ::= INSTRUKCJA ;

Bardziej szczegółowo

- język zapytań służący do zapisywania wyrażeń relacji, modyfikacji relacji, tworzenia relacji

- język zapytań służący do zapisywania wyrażeń relacji, modyfikacji relacji, tworzenia relacji 6. Język SQL Język SQL (Structured Query Language): - język zapytań służący do zapisywania wyrażeń relacji, modyfikacji relacji, tworzenia relacji - stworzony w IBM w latach 70-tych DML (Data Manipulation

Bardziej szczegółowo

Logika dla informatyków

Logika dla informatyków Logika dla informatyków Jerzy Tiuryn Jerzy Tyszkiewicz Pawe l Urzyczyn Październik 2006 Wnioskowanie o prawdziwości rozmaitych stwierdzeń jest powszednim zajeciem matematyków i nie tylko matematyków. Dlatego

Bardziej szczegółowo

Adult Education and Lifelong Learning

Adult Education and Lifelong Learning Adult Education and Lifelong Learning Adult Education Centers can provide a number of courses many of which are free to the learner. For information on the courses they provide visit www.lincolnshire.gov.uk/

Bardziej szczegółowo

Wst p do informatyki. Elementy teorii jezyków formalnych. Piotr Fulma«ski. January 3, 2019

Wst p do informatyki. Elementy teorii jezyków formalnych. Piotr Fulma«ski. January 3, 2019 Wst p do informatyki Elementy teorii jezyków formalnych Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska January 3, 2019 Table of contents Formal language Basic concepts In

Bardziej szczegółowo

ARKUSZ PRÓBNEJ MATURY Z OPERONEM JĘZYK ANGIELSKI

ARKUSZ PRÓBNEJ MATURY Z OPERONEM JĘZYK ANGIELSKI Miejsce na identyfikację szkoły ARKUSZ PRÓBNEJ MATURY Z OPERONEM JĘZYK ANGIELSKI POZIOM ROZSZERZONY CZĘŚĆ I LISTOPAD 2011 Czas pracy: 120 minut Instrukcja dla zdającego 1. Sprawdź, czy ar kusz eg za mi

Bardziej szczegółowo

SUPPLEMENTARY INFORMATION FOR THE LEASE LIMIT APPLICATION

SUPPLEMENTARY INFORMATION FOR THE LEASE LIMIT APPLICATION SUPPLEMENTARY INFORMATION FOR THE LEASE LIMIT APPLICATION 1. Applicant s data Company s name (address, phone) NIP (VAT) and REGON numbers Contact person 2. PPROPERTIES HELD Address Type of property Property

Bardziej szczegółowo