Logika [dla Psychologii UW]
|
|
|
- Milena Wasilewska
- 7 lat temu
- Przeglądów:
Transkrypt
1 Logika [dla Psychologii UW] Tadeusz Ciecierski Uniwersytet Warszawski 12 pa¹dziernika 2011 Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
2 Plan wykªadu 1 Co to jest logika? Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
3 Plan wykªadu 1 Co to jest logika? 2 Poj cie zdania w sensie logicznym Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
4 Plan wykªadu 1 Co to jest logika? 2 Poj cie zdania w sensie logicznym 3 Poj cie wypowiedzi performatywnej Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
5 Kilka cytatów John Stuart Mill ( ) Logika jest wspólnym s dzi i rozjemc we wszelkich dociekaniach poszczególnych. Nie podejmuje si ona szuka przesªanek uzasadnienia, lecz tylko podejmuje si okre±li, czy te przesªanki zostaªy znalezione. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
6 Kilka cytatów John Stuart Mill ( ) Logika jest wspólnym s dzi i rozjemc we wszelkich dociekaniach poszczególnych. Nie podejmuje si ona szuka przesªanek uzasadnienia, lecz tylko podejmuje si okre±li, czy te przesªanki zostaªy znalezione. Gottlob Frege ( ) Chocia» wszelkie nauki maj na celu prawd, to jednak logika zajmuje si ni w jeszcze caªkiem inny sposób [...] Odkrywanie prawd jest zadaniem wszelkiej nauki; zadaniem logiki jest odkrywanie praw prawdziwo±ci Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
7 Kilka cytatów John Stuart Mill ( ) Logika jest wspólnym s dzi i rozjemc we wszelkich dociekaniach poszczególnych. Nie podejmuje si ona szuka przesªanek uzasadnienia, lecz tylko podejmuje si okre±li, czy te przesªanki zostaªy znalezione. Gottlob Frege ( ) Chocia» wszelkie nauki maj na celu prawd, to jednak logika zajmuje si ni w jeszcze caªkiem inny sposób [...] Odkrywanie prawd jest zadaniem wszelkiej nauki; zadaniem logiki jest odkrywanie praw prawdziwo±ci Lewis Carroll ( ) Wr cz przeciwnie ci gn ª Tweedledee je»eli tak byªo, to mogªo by, a gdyby tak byªo, to by byªo; ale skoro tak nie jest, to nie jest. To jest logika. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
8 Denicja logiki? Logika Dyscyplina zajmuj ca si wnioskowaniami, warunkami ich poprawno±ci oraz uwarunkowaniami warunków poprawno±ci wnioskowa«tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
9 Denicja logiki? Logika Dyscyplina zajmuj ca si wnioskowaniami, warunkami ich poprawno±ci oraz uwarunkowaniami warunków poprawno±ci wnioskowa«logika To, czym zajmuj si logicy - wnioskowania, interpretacja wypowiedzi, strategie argumentacyjne, metodologia nauk etc. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
10 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
11 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
12 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
13 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. WNIOSKOWANIE - PRZYKŠAD 1 (1) Rodzeni bracia maj zawsze takie same nazwiska. (2) Jan jest rodzonym bratem Pawªa. (3) Jan ma na nazwisko Nowak. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
14 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. WNIOSKOWANIE - PRZYKŠAD 1 (1) Rodzeni bracia maj zawsze takie same nazwiska. (2) Jan jest rodzonym bratem Pawªa. (3) Jan ma na nazwisko Nowak. Zatem: (4) Paweª ma na nazwisko Nowak Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
15 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. WNIOSKOWANIE - PRZYKŠAD 1 (1) Rodzeni bracia maj zawsze takie same nazwiska. (2) Jan jest rodzonym bratem Pawªa. (3) Jan ma na nazwisko Nowak. Zatem: (4) Paweª ma na nazwisko Nowak WNIOSKOWANIE - PRZYKŠAD 2 (1) Ten student jest psychologiem. (2) Tamten student jest psychologiem. (3) I ten student jest psychologiem. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
16 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. WNIOSKOWANIE - PRZYKŠAD 1 (1) Rodzeni bracia maj zawsze takie same nazwiska. (2) Jan jest rodzonym bratem Pawªa. (3) Jan ma na nazwisko Nowak. Zatem: (4) Paweª ma na nazwisko Nowak WNIOSKOWANIE - PRZYKŠAD 2 (1) Ten student jest psychologiem. (2) Tamten student jest psychologiem. (3) I ten student jest psychologiem. Zatem: (4) Wszyscy studenci to psycholodzy. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
17 Poj cie wnioskowania WNIOSKOWANIE Przej±cie od pewnych przesªanek do pewnych wniosków. WNIOSKOWANIE - PRZYKŠAD 1 (1) Rodzeni bracia maj zawsze takie same nazwiska. (2) Jan jest rodzonym bratem Pawªa. (3) Jan ma na nazwisko Nowak. Zatem: (4) Paweª ma na nazwisko Nowak WNIOSKOWANIE - PRZYKŠAD 2 (1) Ten student jest psychologiem. (2) Tamten student jest psychologiem. (3) I ten student jest psychologiem. Zatem: (4) Wszyscy studenci to psycholodzy. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
18 Zdanie w sensie logiki Zdanie w sensie logiki Zarówno przesªanki jak i wnioski s zdaniami w sensie logicznym. Co to jest zdanie w sensie logicznym? Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
19 Zdanie w sensie logiki Zdanie w sensie logiki Zarówno przesªanki jak i wnioski s zdaniami w sensie logicznym. Co to jest zdanie w sensie logicznym? Jest to ka»de poprawnie zbudowane zdanie (pewnego j zyka), które posiada warto± logiczn : jest prawdziwe lub faªszywe. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
20 Zdania w sensie logicznym PRZYKŠADY ZDA W SENSIE LOGICZNYM (1) Polska graniczy z Biaªorusi. (2) Ka»dy Polak potra mówi po angielsku. (3) Na kangurach nie rosn poziomki. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
21 Zdania w sensie logicznym PRZYKŠADY ZDA W SENSIE LOGICZNYM (1) Polska graniczy z Biaªorusi. (2) Ka»dy Polak potra mówi po angielsku. (3) Na kangurach nie rosn poziomki. PRZYKŠADY ZDA, KTÓRE NIE S ZDANIAMI W SENSIE LOGICZNYM (1) Wypowiadam wojn Jamajce! (2) Chrzcz ci imieniem Kleofas. (3) Dlaczego istnieje raczej co± ni» nic? Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
22 Zdania w sensie logicznym PRZYKŠADY ZDA W SENSIE LOGICZNYM (1) Polska graniczy z Biaªorusi. (2) Ka»dy Polak potra mówi po angielsku. (3) Na kangurach nie rosn poziomki. PRZYKŠADY ZDA, KTÓRE NIE S ZDANIAMI W SENSIE LOGICZNYM (1) Wypowiadam wojn Jamajce! (2) Chrzcz ci imieniem Kleofas. (3) Dlaczego istnieje raczej co± ni» nic? Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
23 Wypowiedzi performatywne Przykªadami wypowiedzi, które s zdaniami oznajmuj cymi, ale nie s zarazem zdaniami w sensie logicznym s tzw. wypowiedzi performatywne, czyli wypowiedzi, które (wygªoszone w odpowiednich okoliczno±ciach) stwarzaj pewien fakt. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
24 John L. Austin ( ) Poj cie wypowiedzi performatywnej zostaªo wprowadzone i poddane analizie przez Austina w wykªadach z lat opublikowanych (po±miertnie) w roku 1962 jako: How to Do Things with Words? (Jak dziaªa sªowami?) Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
25 John L. Austin ( ) Poj cie wypowiedzi performatywnej zostaªo wprowadzone i poddane analizie przez Austina w wykªadach z lat opublikowanych (po±miertnie) w roku 1962 jako: How to Do Things with Words? (Jak dziaªa sªowami?) Macie peªne prawo nie wiedzie, co znaczy sªowo performatywne. Sªowo jest nowe i brzydkie, i mo»e nie ma nawet specjalnego znaczenia. (John L. Austin) Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
26 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
27 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
28 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: (i) w pierwszej osobie; Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
29 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: (i) w pierwszej osobie; (ii) czasie tera¹niejszym; Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
30 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: (i) w pierwszej osobie; (ii) czasie tera¹niejszym; (iii) stronie czynnej; Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
31 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: (i) w pierwszej osobie; (ii) czasie tera¹niejszym; (iii) stronie czynnej; (iv) trybie oznajmuj cym; Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
32 Wypowiedzi performatywne PRZYKŠADY WYPOWIEDZI PERFORMATYWNYCH (1) Zakªadam si o pi zªotych,»e jutro b dzie padaªo. (2) Nadaj temu statkowi imi ORP Fl dra. (3) Wypowiadam wojn Burkina Faso. (4) Przepraszam. (5) Pasuj ci na rycerza. (6) Skazuj ci na dziesi lat ci»kich robót. (7) Zapisuj ci w spadku mojego Rafaela. Jak rozpozna wypowied¹ performatywn? Wypowiedzi performatywne s ZAZWYCZAJ wypowiedziami: (i) w pierwszej osobie; (ii) czasie tera¹niejszym; (iii) stronie czynnej; (iv) trybie oznajmuj cym; (v) zachowuj cymi sensowno±, gdy poprzedzi si je sªowem niniejszym. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
33 Dziaªanie testu Austina (1) Skazaªem ci (wczoraj) na dziesi lat ci»kich robót. (warunek (ii)) (2) Mariola skazuje ci wªa±nie na dziesi lat ci»kich robót. (warunek (i)) (3) Jestem skazywany na dziesi lat ci»kich robót. (warunek (iii)) (4) Skazywaªbym ci na dziesi lat ci»kich robót. (warunek (iv)) Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
34 Dziaªanie testu Austina (1) Skazaªem ci (wczoraj) na dziesi lat ci»kich robót. (warunek (ii)) (2) Mariola skazuje ci wªa±nie na dziesi lat ci»kich robót. (warunek (i)) (3) Jestem skazywany na dziesi lat ci»kich robót. (warunek (iii)) (4) Skazywaªbym ci na dziesi lat ci»kich robót. (warunek (iv)) Dziaªanie testu Austina (1) Niniejszym skazaªem ci (wczoraj) na dziesi lat ci»kich robót. (?) (2) Niniejszym Mariola skazuje ci wªa±nie na dziesi lat ci»kich robót. (?) (3) Niniejszym jestem skazywany na dziesi lat ci»kich robót. (?) (4) Niniejszym teraz gram na gitarze. (?) Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
35 Zaznaczyli±my powy»ej,»e przy pewnej interpretacji zdania otó» ka»de ze zda«(1)-(4) mo»e by u»yte tak,»e nie b dzie zdaniem w sensie logiki (np. (1) jako przysi ga). Nie zmienia to w niczym tego,»e zdania te w u»yte do stwierdzenia faktów nie przechodz testu z niniejszym. adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
36 Zaznaczyli±my powy»ej,»e przy pewnej interpretacji zdania otó» ka»de ze zda«(1)-(4) mo»e by u»yte tak,»e nie b dzie zdaniem w sensie logiki (np. (1) jako przysi ga). Nie zmienia to w niczym tego,»e zdania te w u»yte do stwierdzenia faktów nie przechodz testu z niniejszym. Zarazem jednak pokazuje to,»e pewne zdania mog by u»yte performatywnie nie maj c przy tym po» danej formy gramatycznej. adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
37 Zaznaczyli±my powy»ej,»e przy pewnej interpretacji zdania otó» ka»de ze zda«(1)-(4) mo»e by u»yte tak,»e nie b dzie zdaniem w sensie logiki (np. (1) jako przysi ga). Nie zmienia to w niczym tego,»e zdania te w u»yte do stwierdzenia faktów nie przechodz testu z niniejszym. Zarazem jednak pokazuje to,»e pewne zdania mog by u»yte performatywnie nie maj c przy tym po» danej formy gramatycznej. Performatywno± jako cecha u»ycia zdania Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
38 Zasada wyra»alno±ci Ka»dy performatyw niejawny (NP) mo»na przedstawi w formie performatywu jawnego (JP). Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
39 Zasada wyra»alno±ci Ka»dy performatyw niejawny (NP) mo»na przedstawi w formie performatywu jawnego (JP). (NP) Oddam ci jutro 100 zªotych => Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
40 Zasada wyra»alno±ci Ka»dy performatyw niejawny (NP) mo»na przedstawi w formie performatywu jawnego (JP). (NP) Oddam ci jutro 100 zªotych => (JP) Obiecuj,»e oddam ci jutro 100 zª. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
41 FORTUNNO PERFORMATYWÓW Tak jak zdania w sensie logicznym (Austin nazwaª odpowiadaj ce im wypowiedzi KONSTATYWAMI) mog by prawdziwe lub faªszywe, tak te» wypowiedzi performatywne mog by nieudane, czyli (jak mówi Austin) NIEFORTUNNE Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
42 FORTUNNO PERFORMATYWÓW Tak jak zdania w sensie logicznym (Austin nazwaª odpowiadaj ce im wypowiedzi KONSTATYWAMI) mog by prawdziwe lub faªszywe, tak te» wypowiedzi performatywne mog by nieudane, czyli (jak mówi Austin) NIEFORTUNNE Warunki fortunno±ci performatywów = warunki konieczne tego, aby performatyw byª udany. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
43 FORTUNNO PERFORMATYWÓW Tak jak zdania w sensie logicznym (Austin nazwaª odpowiadaj ce im wypowiedzi KONSTATYWAMI) mog by prawdziwe lub faªszywe, tak te» wypowiedzi performatywne mog by nieudane, czyli (jak mówi Austin) NIEFORTUNNE Warunki fortunno±ci performatywów = warunki konieczne tego, aby performatyw byª udany. Czynniki wpªywaj ce na fortunno± performatywów [Austin] A. (i) Musi istnie pewna konwencjonalna procedura, która ma konwencjonalny skutek. (ii) Okoliczno±ci i osoby musz by odpowiednie, zgodnie z wymogami procedury. B. Procedura musi by przeprowadzona (i) prawidªowo i (ii) w zupeªno±ci. C. Cz sto (i) osoby, o które chodzi musz mie odpowiednie my±li, uczucia i intencje, zgodnie z wymogami oraz (ii) je±li wynika z tego okre±lone post powanie, musz post pi w ten wªa±nie sposób. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
44 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
45 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
46 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); (3) Niniejszym»eni si z tob. (ad B (i)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
47 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); (3) Niniejszym»eni si z tob. (ad B (i)); (4) (Brak potwierdzenia zakªadu) (ad B(ii)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
48 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); (3) Niniejszym»eni si z tob. (ad B (i)); (4) (Brak potwierdzenia zakªadu) (ad B(ii)); (5) (Oskar»enie kogo±, gdy si jest przekonanym o niewinno±ci tej osoby) (ad C(i)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
49 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); (3) Niniejszym»eni si z tob. (ad B (i)); (4) (Brak potwierdzenia zakªadu) (ad B(ii)); (5) (Oskar»enie kogo±, gdy si jest przekonanym o niewinno±ci tej osoby) (ad C(i)); (6) (Zªo»enie obietnicy, gdy nie ma si zamiaru dotrzyma sªowa) (ad C(ii)); adeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
50 WARUNKI FORTUNNO CI - PRZYKŠADY (1) Niniejszym rozwodz si z tob. (ad A (i)); (2) (Wyrok ogªoszony przez nieuprawnion do tego osob ). (ad A (ii)); (3) Niniejszym»eni si z tob. (ad B (i)); (4) (Brak potwierdzenia zakªadu) (ad B(ii)); (5) (Oskar»enie kogo±, gdy si jest przekonanym o niewinno±ci tej osoby) (ad C(i)); (6) (Zªo»enie obietnicy, gdy nie ma si zamiaru dotrzyma sªowa) (ad C(ii)); Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
51 Trzy aspekty wypowiedzi Performatywno± jest zatem raczej cech u»ycia zdania. Austin wyró»niaª trzy sensy, w których u»ycie zdania jest wykonaniem pewnej czynno±ci zrobieniem czego±: (A1) Akt lokucyjny wypowiedzenie zdania, które ma okre±lony sens. (A2) Akt illokucyjny zªo»enie przez wypowiedzenie zdania obietnicy, oferty, stwierdzenie czego± (dzi ki konwencjonalnej mocy zwi zanej ze zdaniem lub jego performatywn parafraz ). (A3) Akt perlokucyjny wywoªanie przez wypowiedzenie zdania pewnego skutku (np. na odbiorcach wypowiedzi). Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
52 PRZYKŠADY Wypowiadaj c zdanie Wypowiadam wojn Albanii prezydent Burkina Faso dokonuje nast puj cych trzech czynno±ci: Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
53 PRZYKŠADY Wypowiadaj c zdanie Wypowiadam wojn Albanii prezydent Burkina Faso dokonuje nast puj cych trzech czynno±ci: (A1) [LOKUCJA] wygªasza zdanie, które ma okre±lony sens; (A2) [ILLOKUCJA] przy u»yciu tego zdania wypowiada wojn Albanii; (A3) [PERLOKUCJA] wprowadza faktycznie dwa kraje w stan wojny. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
54 PRZYKŠADY Wypowiadaj c zdanie Wypowiadam wojn Albanii prezydent Burkina Faso dokonuje nast puj cych trzech czynno±ci: (A1) [LOKUCJA] wygªasza zdanie, które ma okre±lony sens; (A2) [ILLOKUCJA] przy u»yciu tego zdania wypowiada wojn Albanii; (A3) [PERLOKUCJA] wprowadza faktycznie dwa kraje w stan wojny. Wypowiadaj c zdanie Obiecuj,»e si z tob o»eni Bogumiª cierka dokonuje nast puj cych trzech czynno±ci: Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
55 PRZYKŠADY Wypowiadaj c zdanie Wypowiadam wojn Albanii prezydent Burkina Faso dokonuje nast puj cych trzech czynno±ci: (A1) [LOKUCJA] wygªasza zdanie, które ma okre±lony sens; (A2) [ILLOKUCJA] przy u»yciu tego zdania wypowiada wojn Albanii; (A3) [PERLOKUCJA] wprowadza faktycznie dwa kraje w stan wojny. Wypowiadaj c zdanie Obiecuj,»e si z tob o»eni Bogumiª cierka dokonuje nast puj cych trzech czynno±ci: (A1) [LOKUCJA] wygªasza zdanie, które ma okre±lony sens; (A2) [ILLOKUCJA] przy u»yciu tego zdania skªada obietnic ; (A3) [PERLOKUCJA] wywoªuje w Kunegundzie Kape przypªyw ciepªych wzgl dem niego uczu. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
56 PERLOKUCJA - RODZAJE SKUTKÓW (Hans Reichenbach, 1946) SKUTKI KOMUNIKATYWNE Wywoªanie w sªuchaczu pewnego przekonania. SKUTKI SUGESTYWNE Wywoªanie w sªuchaczu pewnego uczucia lub uczu. SKUTKI PROMOTYWNE Skªonienie sªuchacza do okre±lonego dziaªania. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
57 PERLOKUCJA - RODZAJE SKUTKÓW (Hans Reichenbach, 1946) SKUTKI KOMUNIKATYWNE Wywoªanie w sªuchaczu pewnego przekonania. SKUTKI SUGESTYWNE Wywoªanie w sªuchaczu pewnego uczucia lub uczu. SKUTKI PROMOTYWNE Skªonienie sªuchacza do okre±lonego dziaªania. PRZYKŠADY Kunegunda Kape sªysz c od Bogumiªa cierki obietnic,»e ten si z ni o»eni: SKUTKI KOMUNIKATYWNE nabiera przekonania,»e Bogumiª cierka zªo»yª jej t obietnic ; SKUTKI SUGESTYWNE ma gwaªtowny przypªyw gor cych uczu do Bogumiªa cierki; SKUTKI PROMOTYWNE omdlewa w ramionach Bogumiªa cierki. Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
58 Literatura [nad wyraz obowi zkowa] Kazimierz Ajdukiewicz (ró»ne wydania) Logika pragmatyczna, PWN [cz ±ci 1 i 2] Stephen Levinson (2010) Pragmatyka, PWN [rozdziaªy 1 i 3] John Macnamara (1993) Logika i psychologia, PWN [caªo± ] Marek Tokarz (2006) Argumentacja, perswazja, manipulacja, GWP [wykªad 1-7, 10, 12] Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
59 KONIEC Tadeusz Ciecierski (UniwersytetLogika[dla Warszawski) Psychologii UW] 12 pa¹dziernika / 20
Logika [dla Psychologii UW]
![Logika [dla Psychologii UW]](/thumbs/52/30278579.jpg "Logika [dla Psychologii UW]")
Logika [dla Psychologii UW] Tadeusz Ciecierski taci@uw.edu.pl Uniwersytet Warszawski 24 pa¹dziernika 2011 Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 24 pa¹dziernika
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_
KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu
➏ Filozoa z elementami logiki Na podstawie wykªadów dra Mariusza Urba«skiego Sylogistyka Przypomnij sobie: stosunki mi dzy zakresami nazw KLASYCZNE ZDANIA KATEGORYCZNE Trzy znaczenia sªowa jest trzy rodzaje
MiASI. Modelowanie systemów informatycznych. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska
MiASI Modelowanie systemów informatycznych Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Analiza systemu informatycznego Poziomy analizy 2
PRZYPOMNIENIE Ka»d przestrze«wektorow V, o wymiarze dim V = n < nad ciaªem F mo»na jednoznacznie odwzorowa na przestrze«f n n-ek uporz dkowanych:
Plan Spis tre±ci 1 Homomorzm 1 1.1 Macierz homomorzmu....................... 2 1.2 Dziaªania............................... 3 2 Ukªady równa«6 3 Zadania 8 1 Homomorzm PRZYPOMNIENIE Ka»d przestrze«wektorow
Listy i operacje pytania
Listy i operacje pytania Iwona Polak iwona.polak@us.edu.pl Uniwersytet l ski Instytut Informatyki pa¹dziernika 07 Który atrybut NIE wyst puje jako atrybut elementów listy? klucz elementu (key) wska¹nik
Logika [dla Psychologii UW]
![Logika [dla Psychologii UW]](/thumbs/93/114470105.jpg "Logika [dla Psychologii UW]")
Logika [dla Psychologii UW] Tadeusz Ciecierski taci@uw.edu.pl Uniwersytet Warszawski 20 pa¹dziernika 2011 Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 20 pa¹dziernika
Oba zbiory s uporz dkowane liniowo. Badamy funkcj w pobli»u kresów dziedziny. Pewne punkty szczególne (np. zmiana denicji funkcji).
Plan Spis tre±ci 1 Granica 1 1.1 Po co?................................. 1 1.2 Denicje i twierdzenia........................ 4 1.3 Asymptotyka, granice niewªa±ciwe................. 7 2 Asymptoty 8 2.1
Filozofia analityczna szkoła analityczna a neopozytywizm
Filozofia analityczna szkoła analityczna a neopozytywizm odmiany f. analitycznej: filozofia języka idealnego filozofia języka potocznego George E. Moore (1873 1958) analiza pojęciowa a filozoficzna synteza
Programowanie wspóªbie»ne
1 Zadanie 1: Bar Programowanie wspóªbie»ne wiczenia 6 monitory cz. 2 Napisz monitor Bar synchronizuj cy prac barmana obsªuguj cego klientów przy kolistym barze z N stoªkami. Ka»dy klient realizuje nast
Kwantowa teoria wzgl dno±ci
Instytut Fizyki Teoretycznej Uniwersytetu Warszawskiego Festiwal Nauki, 16 wrze±nia 2006 Plan wykªadu Grawitacja i geometria 1 Grawitacja i geometria 2 3 Grawitacja Grawitacja i geometria wedªug Newtona:
Kolegium Międzywydziałowych Indywidualnych Studiów Humanistycznych
Kolegium Międzywydziałowych Indywidualnych Studiów Humanistycznych Kierunek studiów: studia międzykierunkowe Rodzaj studiów: jednolite pięcioletnie studia magisterskie lub studia I stopnia (w zależności
Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych.
Wykªad jest prowadzony w oparciu o podr cznik Analiza matematyczna 2. Denicje, twierdzenia, wzory M. Gewerta i Z. Skoczylasa. Wykªad 7. Ekstrema lokalne funkcji dwóch zmiennych. Denicja Mówimy,»e funkcja
Zdzisªaw Dzedzej, Katedra Analizy Nieliniowej pok. 611 Kontakt:
Zdzisªaw Dzedzej, Katedra Analizy Nieliniowej pok. 611 Kontakt: zdzedzej@mif.pg.gda.pl www.mif.pg.gda.pl/homepages/zdzedzej () 5 pa¹dziernika 2016 1 / 1 Literatura podstawowa R. Rudnicki, Wykªady z analizy
JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1
J zyki formalne i operacje na j zykach J zyki formalne s abstrakcyjnie zbiorami sªów nad alfabetem sko«czonym Σ. J zyk formalny L to opis pewnego problemu decyzyjnego: sªowa to kody instancji (wej±cia)
O przekonaniach i przekonywaniu (2)
O przekonaniach i przekonywaniu (2) Jerzy Pogonowski Zakªad Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 21 lutego 2007 Jerzy Pogonowski (MEG) O przekonaniach i przekonywaniu (2) 21 lutego
A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.
Logika i teoria mnogo±ci, konspekt wykªad 12 Teoria mocy, cz ± II Def. 12.1 Ka»demu zbiorowi X przyporz dkowujemy oznaczany symbolem X obiekt zwany liczb kardynaln (lub moc zbioru X) w taki sposób,»e ta
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
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
Model obiektu w JavaScript
16 marca 2009 E4X Paradygmat klasowy Klasa Deniuje wszystkie wªa±ciwo±ci charakterystyczne dla wybranego zbioru obiektów. Klasa jest poj ciem abstrakcyjnym odnosz cym si do zbioru, a nie do pojedynczego
Podstawy modelowania w j zyku UML
Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 2 Zwi zki mi dzy klasami Asocjacja (ang. Associations) Uogólnienie, dziedziczenie (ang.
MiASI. Modelowanie analityczne. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska
MiASI Modelowanie analityczne Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Czym jest modelowanie analityczne? 2 Podstawowe kategorie poj ciowe
Metody dowodzenia twierdze«
Metody dowodzenia twierdze«1 Metoda indukcji matematycznej Je±li T (n) jest form zdaniow okre±lon w zbiorze liczb naturalnych, to prawdziwe jest zdanie (T (0) n N (T (n) T (n + 1))) n N T (n). 2 W przypadku
Twierdzenie Wainera. Marek Czarnecki. Warszawa, 3 lipca Wydziaª Filozoi i Socjologii Uniwersytet Warszawski
Twierdzenie Wainera Marek Czarnecki Wydziaª Filozoi i Socjologii Uniwersytet Warszawski Wydziaª Matematyki, Informatyki i Mechaniki Uniwersytet Warszawski Warszawa, 3 lipca 2009 Motywacje Dla dowolnej
Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.
Relacje 1 Relacj n-argumentow nazywamy podzbiór ϱ X 1 X 2... X n. Je±li ϱ X Y jest relacj dwuargumentow (binarn ), to zamiast (x, y) ϱ piszemy xϱy. Relacj binarn okre±lon w zbiorze X nazywamy podzbiór
Metodydowodzenia twierdzeń
1 Metodydowodzenia twierdzeń Przez zdanie rozumiemy dowolne stwierdzenie, które jest albo prawdziwe, albo faªszywe (nie mo»e by ono jednocze±nie prawdziwe i faªszywe). Tradycyjnie b dziemy u»ywali maªych
YapS Plan testów. Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007
YapS Plan testów Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007 1 Spis tre±ci 1 Wprowadzenie 3 1.1................................. 3 1.2 Zakres............................... 3 2
1 Metody iteracyjne rozwi zywania równania f(x)=0
1 Metody iteracyjne rozwi zywania równania f()=0 1.1 Metoda bisekcji Zaªó»my,»e funkcja f jest ci gªa w [a 0, b 0 ]. Pierwiastek jest w przedziale [a 0, b 0 ] gdy f(a 0 )f(b 0 ) < 0. (1) Ustalmy f(a 0
Logika [dla Psychologii UW]
![Logika [dla Psychologii UW]](/thumbs/94/118488875.jpg "Logika [dla Psychologii UW]")
Logika [dla Psychologii UW] Tadeusz Ciecierski taci@uw.edu.pl Uniwersytet Warszawski 19 grudnia 2011 Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 19 grudnia 2011
Warszawa, dnia 3 marca 2014 r. Poz. 257
Warszawa, dnia 3 marca 2014 r. Poz. 257 OBWIESZCZENIE MINISTRA SPRAWIEDLIWOŚCI z dnia 25 października 2013 r. w sprawie ogłoszenia jednolitego tekstu rozporządzenia Ministra Sprawiedliwości w sprawie szczegółowych
INSTRUKCJA DO ARKUSZA NOMINACJI JĘZYK ANGIELSKI
INSTRUKCJA DO ARKUSZA NOMINACJI JĘZYK ANGIELSKI Arkusz nominacji dotyczy różnych obszarów aktywności ucznia, które mogą świadczyć o jego poznawczych uzdolniach kierunkowych w obszarze języka angielskiego.
Informatyka, matematyka i sztuczki magiczne
Informatyka, matematyka i sztuczki magiczne Daniel Nowak Piotr Fulma«ski instagram.com/vorkof piotr@fulmanski.pl 18 kwietnia 2018 Table of contents 1 O czym b dziemy mówi 2 Dawno, dawno temu... 3 System
Gdy kontrahent jest niesolidny 2015-06-11 11:35:13
Gdy kontrahent jest niesolidny 2015-06-11 11:35:13 2 W Grecji konflikty gospodarcze rozstrzygają sądy cywilne i administracyjne. Te pierwsze rozpatrują spory między osobami fizycznymi (np. umowy kupna-sprzedaży,
Lekcja 5 Programowanie - Nowicjusz
Lekcja 5 Programowanie - Nowicjusz Akademia im. Jana Dªugosza w Cz stochowie Programowanie i program wedªug Baltiego Programowanie Programowanie jest najwy»szym trybem Baltiego. Z pomoc Baltiego mo»esz
POSTANOWIENIE. SSN Henryk Pietrzkowski (przewodniczący) SSN Anna Kozłowska SSN Dariusz Zawistowski (sprawozdawca)
Sygn. akt II CSK 35/13 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 30 października 2013 r. SSN Henryk Pietrzkowski (przewodniczący) SSN Anna Kozłowska SSN Dariusz Zawistowski (sprawozdawca) w sprawie
Zarządzenie Nr 1469/2012
Zarządzenie Nr 1469/2012 Prezydenta Miasta Płocka z dnia 01 marca 2012 w sprawie przyjęcia Regulaminu Płockiej Karty Familijnej 3+ w ramach Programu Płocka Karta Familijna 3+ Na podstawie art. 7 ust 1
Procedura awansu zawodowego. Gimnazjum nr 2 im. św. Jadwigi Królowej Polski. w Rybniku
Procedura awansu zawodowego Gimnazjum nr 2 im. św. Jadwigi Królowej Polski w Rybniku Podstawa prawna: Ustawa z dnia 26 stycznia 1982 r. Karta Nauczyciela z późniejszymi zmianami; Rozporządzenie Ministra
p o s t a n a w i a m
ZARZĄDZENIE NR ON.0050.2447.2013.PS PREZYDENTA MIASTA BIELSKA-BIAŁEJ Z DNIA 7 CZERWCA 2013 R. zmieniające zarządzenie w sprawie wprowadzenia Regulaminu przyznawania karty Rodzina + oraz wzoru karty Rodzina
Przeksztaªcenia liniowe
Przeksztaªcenia liniowe Przykªady Pokaza,»e przeksztaªcenie T : R 2 R 2, postaci T (x, y) = (x + y, x 6y) jest przeksztaªceniem liniowym Sprawdzimy najpierw addytywno± przeksztaªcenia T Niech v = (x, y
Logika [dla Psychologii UW]
![Logika [dla Psychologii UW]](/thumbs/51/28110638.jpg "Logika [dla Psychologii UW]")
Logika [dla Psychologii UW] Tadeusz Ciecierski taci@uw.edu.pl Uniwersytet Warszawski 9 stycznia 2012 Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 9 stycznia 2012
P tle. Rozdziaª Wst p. 4.2 P tle P tla for(...);
Rozdziaª 4 P tle 4.1 Wst p Niniejszy rozdziaª zawiera opis p tli w j zyku C, wraz z przykªadowymi programami oraz ich obja±nieniem. 4.2 P tle P tla to element j zyka programowania, pozwalaj cy na wielokrotne,
Podstawy matematyki dla informatyków
Podstawy matematyki dla informatyków Wykªad 6 10 listopada 2011 W poprzednim odcinku... Zbiory A i B s równoliczne (tej samej mocy ), gdy istnieje bijekcja f : A 1 1 B. Piszemy A B lub A = B. na Moc zbioru
USTAWA. z dnia 26 stycznia 1982 r. Karta Nauczyciela. (tekst jednolity) Rozdział 3a. Awans zawodowy nauczycieli
USTAWA z dnia 26 stycznia 1982 r. Karta Nauczyciela (tekst jednolity) Rozdział 3a Awans zawodowy nauczycieli Art. 9a. 1. Ustala się stopnie awansu zawodowego nauczycieli: 1) nauczyciel stażysta; 2) nauczyciel
Wykªad 4. Funkcje wielu zmiennych.
Wykªad jest prowadzony w oparciu o podr cznik Analiza matematyczna 2. Denicje, twierdzenia, wzory M. Gewerta i Z. Skoczylasa. Wykªad 4. Funkcje wielu zmiennych. Zbiory na pªaszczy¹nie i w przestrzeni.
Powiatowy Urząd Pracy W Starachowicach
URZĄD PRACY Powiatowy Urząd Pracy W Starachowicach Zgłoszenie Krajowej Oferty Pracy I. Dane dotyczące pracodawcy krajowego. 1. Nazwa pracodawcy... 2. Adres pracodawcy... nr tel.... nr faksu... e-mail...
Matematyka wykªad 1. Macierze (1) Andrzej Torój. 17 wrze±nia 2011. Wy»sza Szkoªa Zarz dzania i Prawa im. H. Chodkowskiej
Matematyka wykªad 1 Macierze (1) Andrzej Torój Wy»sza Szkoªa Zarz dzania i Prawa im. H. Chodkowskiej 17 wrze±nia 2011 Plan wykªadu 1 2 3 4 5 Plan prezentacji 1 2 3 4 5 Kontakt moja strona internetowa:
Ekstremalnie fajne równania
Ekstremalnie fajne równania ELEMENTY RACHUNKU WARIACYJNEGO Zaczniemy od ogólnych uwag nt. rachunku wariacyjnego, który jest bardzo przydatnym narz dziem mog cym posªu»y do rozwi zywania wielu problemów
Lab. 02: Algorytm Schrage
Lab. 02: Algorytm Schrage Andrzej Gnatowski 5 kwietnia 2015 1 Opis zadania Celem zadania laboratoryjnego jest zapoznanie si z jednym z przybli»onych algorytmów sªu» cych do szukania rozwi za«znanego z
O WIADCZENIE MAJ TKOWE radnego gminy
O WIADCZENIE MAJ TKOWE radnego gminy..., dnia... r. (miejscowo ) Uwaga: 1 Osoba sk adaj ca o wiadczenie obowi zana jest do zgodnego z prawd, starannego i zupe nego wype nienia ka dej z rubryk. 2 Je eli
Listy Inne przykªady Rozwi zywanie problemów. Listy w Mathematice. Marcin Karcz. Wydziaª Matematyki, Fizyki i Informatyki.
Wydziaª Matematyki, Fizyki i Informatyki 10 marca 2008 Spis tre±ci Listy 1 Listy 2 3 Co to jest lista? Listy List w Mathematice jest wyra»enie oddzielone przecinkami i zamkni te w { klamrach }. Elementy
Strategia rozwoju kariery zawodowej - Twój scenariusz (program nagrania).
Strategia rozwoju kariery zawodowej - Twój scenariusz (program nagrania). W momencie gdy jesteś studentem lub świeżym absolwentem to znajdujesz się w dobrym momencie, aby rozpocząć planowanie swojej ścieżki
Prezydent Miasta Lublin. ...,... miejscowość. ... Pieczęć Wnioskodawcy
... Pieczęć Wnioskodawcy... nr telefonu Wniosek należy złożyć w Miejskim Urzędzie Pracy w Lublinie, ul. Niecała 14...,... miejscowość data Prezydent Miasta Lublin WNIOSEK O REFUNDACJĘ KOSZTÓW WYPOSAŻENIA
1 Bª dy i arytmetyka zmiennopozycyjna
1 Bª dy i arytmetyka zmiennopozycyjna Liczby w pami ci komputera przedstawiamy w ukªadzie dwójkowym w postaci zmiennopozycyjnej Oznacza to,»e s one postaci ±m c, 01 m < 1, c min c c max, (1) gdzie m nazywamy
W myśl przepisów ustawy z dnia 26 stycznia 1982r. Karta Nauczyciela (Dz. U. z 2006r. Nr 97 z późn. zm.) oraz Rozporządzenia Ministra Edukacji
Awans zawodowy nauczycieli -terminy W myśl przepisów ustawy z dnia 26 stycznia 1982r. Karta Nauczyciela (Dz. U. z 2006r. Nr 97 z późn. zm.) oraz Rozporządzenia Ministra Edukacji Narodowej i Sportu z dnia
Projekt współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego. Specyfikacja warunków zamówienia
Załącznik nr 1 Specyfikacja warunków zamówienia Przedmiot zamówienia Wynajem sali szkoleniowej dla uczestników szkoleń w ramach projektu Nowa rola współfinansowanego przez Unię Europejską i Budżet Państwa
Maªgorzata Murat. Modele matematyczne.
WYKŠAD I Modele matematyczne Maªgorzata Murat Wiadomo±ci organizacyjne LITERATURA Lars Gårding "Spotkanie z matematyk " PWN 1993 http://moodle.cs.pollub.pl/ m.murat@pollub.pl Model matematyczny poj cia
Maszyny Turinga i problemy nierozstrzygalne. Maszyny Turinga i problemy nierozstrzygalne
Maszyny Turinga Maszyna Turinga jest automatem ta±mowym, skª da si z ta±my (tablicy symboli) potencjalnie niesko«czonej w prawo, zakªadamy,»e w prawie wszystkich (tzn. wszystkich poza sko«czon liczb )
ALEKSANDRA SŁABIAK. Przedmiotowy System Oceniania j. angielski kl. IV VI
ALEKSANDRA SŁABIAK Przedmiotowy System Oceniania j. angielski kl. IV VI Zgodnie z WZO, śródroczne i roczne oceny z języka angielskiego w klasach IV VI wyrażone są stopniem w następującej skali: stopień
Klasa I szkoły ponadgimnazjalnej język polski
Klasa I szkoły ponadgimnazjalnej język polski 1. Informacje ogólne Badanie osiągnięć uczniów I klas odbyło się 16 września 2009 r. Wyniki badań nadesłało 12 szkół. Analizie poddano wyniki 990 uczniów z
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
JĘZYK ROSYJSKI POZIOM ROZSZERZONY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2013/2014 JĘZYK ROSYJSKI POZIOM ROZSZERZONY ROZWIĄZANIA ZAAŃ I SCHEMAT PUNKTOWANIA MAJ 2014 ZAANIA OTWARTE Zadanie 1. Przetwarzanie tekstu (0,5 pkt) 1.1. туристов 1.2.
Programowanie wspóªbie»ne
1 Zadanie 1: Programowanie wspóªbie»ne wiczenia 12 Przestrzenie krotek cz. 2 Przychodnia lekarska W przychodni lekarskiej pracuje L > 0 lekarzy, z których ka»dy ma jedn z 0 < S L specjalno±ci, przy czym
UCHWAŁA NR 19/46/15 ZARZĄDU POWIATU DZIERŻONIOWSKIEGO. z dnia 30 kwietnia 2015 r.
UCHWAŁA NR 19/46/15 ZARZĄDU POWIATU DZIERŻONIOWSKIEGO z dnia 30 kwietnia 2015 r. w sprawie ogłoszenia konkursu na kandydata na stanowisko dyrektora Zespołu Szkół Ogólnokształcących w Dzierżoniowie Na podstawie
Podstawy matematyki dla informatyków. Funkcje. Funkcje caªkowite i cz ±ciowe. Deniowanie funkcji. Wykªad pa¹dziernika 2012
Podstawy matematyki dla informatyków Wykªad 3 Funkcje 18 pa¹dziernika 2012 Deniowanie funkcji Funkcje caªkowite i cz ±ciowe Denicja wprost: f (x) = x + y f = λx. x + y Denicja warunkowa: { n/2, je±li n
Materiaªy do Repetytorium z matematyki
Materiaªy do Repetytorium z matematyki 0/0 Dziaªania na liczbach wymiernych i niewymiernych wiczenie Obliczy + 4 + 4 5. ( + ) ( 4 + 4 5). ( : ) ( : 4) 4 5 6. 7. { [ 7 4 ( 0 7) ] ( } : 5) : 0 75 ( 8) (
Przetwarzanie sygnaªów
Przetwarzanie sygnaªów Wykªad 1 - Warunki zaliczenia, podstawy teorii sygnaªów Marcin Wo¹niak, Dawid Poªap Przetwarzanie sygnaªów Pa¹dziernik, 2018 1 / 23 Plan wykªadu 1 Informacje wst pne 2 Historia bada«nad
Algebroidy i grupoidy Liego i wspóªczesna teoria Liego
Algebroidy i grupoidy Liego i wspóªczesna teoria Liego Wykªad habilitacyjny Andriy Panasyuk Katedra Metod Matematycznych Fizyki, Uniwersytet Warszawski oraz Instytut Matematyczny PAN Wst p: Grupy symetrii
Algebra Boole'a i logika cyfrowa
Algebra Boole'a i logika cyfrowa 7.X. 2009 1 Aksjomatyczna denicja algebry Boole'a Do opisywanie ukªadów cyfrowych b dziemy u»ywali formalizmu nazywanego algebr Boole'a. Formalnie algebra Boole'a to struktura
referent prawny w Drugim Wydziale Kontroli Zamówień Departamentu Kontroli Doraźnej
Ogłoszenie o pracę Stanowisko Email Telefon Fax Data składania 2016-03-31 Data wygaśnięcia 2016-03-31 Tagi Województwo Powiat Gmina Miasto Ulica Numer budynku 17 referent prawny w Drugim Wydziale Kontroli
Umowa zlecenie nr... zawarta w dniu... 2012 roku w Legnicy. a Panią/Panem... zam...
Umowa zlecenie nr... zawarta w dniu... 2012 roku w Legnicy pomiędzy Gminą Legnica reprezentowaną przez : Dorotę Purgal - zastępcę Prezydenta Miasta Legnicy przy kontrasygnacie Skarbnika Miasta Legnicy
EGZAMIN MATURALNY 2013 J ZYK ROSYJSKI
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 J ZYK ROSYJSKI POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 ZADANIA OTWARTE Zadanie 1. (0,5 pkt) Przetwarzanie tekstu 1.1.
Macierze i Wyznaczniki
dr Krzysztof yjewski Mechatronika; S-I.in». 5 pa¹dziernika 6 Macierze i Wyznaczniki Kilka wzorów i informacji pomocniczych: Denicja. Tablic nast puj cej postaci a a... a n a a... a n A =... a m a m...
I. POSTANOWIENIE OGÓLNE
Załącznik do Zarządzenia Nr 26/2015 Rektora UKSW z dnia 1 lipca 2015 r. REGULAMIN ZWIĘKSZENIA STYPENDIUM DOKTORANCKIEGO Z DOTACJI PODMIOTOWEJ NA DOFINANSOWANIE ZADAŃ PROJAKOŚCIOWYCH NA UNIWERSYTETCIE KARDYNAŁA
Minimum programowe. na Wydziale Prawa i Administracji. dla studentów Kolegium MISH UW. rozpoczynających studia w roku akad.
Minimum programowe na Wydziale Prawa i Administracji dla studentów Kolegium MISH UW rozpoczynających studia w roku akad. 2008/2009 Studenci MISH zamierzający uzyskać dyplom magisterski na Wydziale Prawa
Projekt edukacyjny z informatyki
Zespół Szkół w Ostrowie Projekt edukacyjny z informatyki Marek Zawadzki 2011-11-01 PROJEKT EDUKACYJNY Z INFORMATYKI Temat: Moja szkoła kalendarz oraz prezentacja lub plakat lub ulotka informacyjna. Opiekun:
ARKUSZ OCENY OKRESOWEJ DLA STANOWISK PRACOWNICZYCH
Załącznik Nr 5 Do Regulaminu okresowych ocen pracowników Urzędu Miasta Piekary Śląskie zatrudnionych na stanowiskach urzędniczych, w tym kierowniczych stanowiskach urzędniczych oraz kierowników gminnych
RAPORT. Przedszkole Szkoła klasa 0 PRZYGOTOWANIE DO EDUKACJI SZKOLNEJ
PRACOWNIA ZARZĄDZANIA I DIAGNOZY EDUKACYJNEJ ODN W ZIELONEJ GÓRZE RAPORT Przedszkole Szkoła klasa 0 PRZYGOTOWANIE DO EDUKACJI SZKOLNEJ Czerwiec - 2008 Na omówienie wyników testu zapraszamy: 24 września
Zasady rekrutacji słuchaczy na kwalifikacyjne kursy zawodowe w Centrum Kształcenia Ustawicznego w Mokrzeszowie na rok szkolny 2016/2017
Zasady rekrutacji słuchaczy na kwalifikacyjne kursy zawodowe w Centrum Kształcenia Ustawicznego w Mokrzeszowie na rok szkolny 2016/2017 1 O przyjęciu słuchacza na kwalifikacyjny kurs zawodowy decyduje
Logika [dla Psychologii UW]
![Logika [dla Psychologii UW]](/thumbs/96/129147558.jpg "Logika [dla Psychologii UW]")
Logika [dla Psychologii UW] Tadeusz Ciecierski taci@uw.edu.pl Uniwersytet Warszawski 28 listopada 2011 Tadeusz Ciecierski taci@uw.edu.pl (UniwersytetLogika[dla Warszawski) Psychologii UW] 28 listopada
Programowanie i struktury danych
Programowanie i struktury danych Wykªad 3 1 / 37 tekstowe binarne Wyró»niamy dwa rodzaje plików: pliki binarne pliki tekstowe 2 / 37 binarne tekstowe binarne Plik binarny to ci g bajtów zapami tanych w
POMOC PSYCHOLOGICZNO-PEDAGOGICZNA Z OPERONEM. Vademecum doradztwa edukacyjno-zawodowego. Akademia
POMOC PSYCHOLOGICZNO-PEDAGOGICZNA Z OPERONEM PLANOWANIE DZIAŁAŃ Określanie drogi zawodowej to szereg różnych decyzji. Dobrze zaplanowana droga pozwala dojechać do określonego miejsca w sposób, który Ci
Ogłoszenie o naborze w celu zastępstwa nieobecnego członka korpusu służby cywilnej
Ogłoszenie o pracę Stanowisko Email Telefon Fax Data składania 2016-05-13 Data wygaśnięcia 2016-05-13 Tagi Województwo Powiat Gmina Miasto Ulica Numer budynku 17 referendarz w Departamencie Unii Europejskiej
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
2 Liczby rzeczywiste - cz. 2
2 Liczby rzeczywiste - cz. 2 W tej lekcji omówimy pozostaªe tematy zwi zane z liczbami rzeczywistymi. 2. Przedziaªy liczbowe Wyró»niamy nast puj ce rodzaje przedziaªów liczbowych: (a) przedziaªy ograniczone:
O pewnym zadaniu olimpijskim
O pewnym zadaniu olimpijskim Michaª Seweryn, V LO w Krakowie opiekun pracy: dr Jacek Dymel Problem pocz tkowy Na drugim etapie LXII Olimpiady Matematycznej pojawiª si nast puj cy problem: Dla ka»dej liczby
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
Filozofia z elementami logiki O czym to będzie?
Filozofia z elementami logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Filozofia z elementami logiki Dwa fundamentalne pytania: Czym zajmuje się logika? Czym
Wprowadzenie do logiki O czym to będzie?
Wprowadzenie do logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my się zajmować będziemy? I póki co
Elementy geometrii w przestrzeni R 3
Elementy geometrii w przestrzeni R 3 Z.Šagodowski Politechnika Lubelska 29 maja 2016 Podstawowe denicje Wektorem nazywamy uporz dkowan par punktów (A,B) z których pierwszy nazywa si pocz tkiem a drugi
Logika Matematyczna. Zadania Egzaminacyjne. J zykoznawstwo i Informacja Naukowa I, UAM, Jerzy Pogonowski
Logika Matematyczna Zadania Egzaminacyjne J zykoznawstwo i Informacja Naukowa I, UAM, 2002 Jerzy Pogonowski Zakªad Logiki Stosowanej UAM www.logic.amu.edu.pl Dwa zestawy pyta«egzaminacyjnych z Logiki Matematycznej:
Ważne informacje dla rodziców i uczniów o sprawdzianie w ostatnim roku nauki w szkole podstawowej i egzaminie w ostatnim roku nauki w gimnazjum
Ważne informacje dla rodziców i uczniów o sprawdzianie w ostatnim roku nauki w szkole podstawowej i egzaminie w ostatnim roku nauki w gimnazjum Zgodnie z rozporządzeniem Ministra Edukacji Narodowej z dnia
- o zmianie o Krajowym Rejestrze Sądowym
Warszawa, dnia 28 sierpnia, 2012 rok Grupa Posłów na Sejm RP Klubu Poselskiego Ruch Palikota Szanowna Pani Ewa Kopacz Marszałek Sejmu Rzeczypospolitej Polskiej Na podstawie art. 118 ust. 1 Konstytucji
Podstawy logiki i teorii zbiorów wiczenia
Spis tre±ci 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Ró»nica symetryczna 4 5 Kwantykatory 5 6 Relacje 7 7 Relacje porz dku i równowa»no±ci 8 8 Funkcje
2. L(a u) = al( u) dla dowolnych u U i a R. Uwaga 1. Warunki 1., 2. mo»na zast pi jednym warunkiem: L(a u + b v) = al( u) + bl( v)
Przeksztaªcenia liniowe Def 1 Przeksztaªceniem liniowym (homomorzmem liniowym) rzeczywistych przestrzeni liniowych U i V nazywamy dowoln funkcj L : U V speªniaj c warunki: 1 L( u + v) = L( u) + L( v) dla
WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14
WST P DO TEORII INFORMACJI I KODOWANIA Grzegorz Szkibiel Wiosna 203/4 Spis tre±ci Kodowanie i dekodowanie 4. Kodowanie a szyfrowanie..................... 4.2 Podstawowe poj cia........................
KWESTIONARIUSZ OSOBOWY KANDYDATA DO SŁUŻBY UWAGA! KWESTIONARIUSZ NALEŻY WYPEŁNIĆ PISMEM DRUKOWANYM (nie dotyczy części A pkt 18)
Załączniki do rozporządzenia Ministra Spraw Wewnętrznych z dnia 18 kwietnia 2012 r. (poz.432) Załącznik nr 1 (pieczęć jednostki organizacyjnej Policji) numer identyfikacyjny KWESTIONARIUSZ OSOBOWY KANDYDATA
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
EGZAMIN MATURALNY 2011 J ZYK ANGIELSKI
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 J ZYK ANGIELSKI POZIOM ROZSZERZONY MAJ 2011 2 ZAANIA OTWARTE Zadanie 1. (0,5 pkt) Przetwarzanie tekstu 1.1. foreigners 1.2. Zdaj cy stosuje
ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15
ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych
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.