<?xml version="1.0" encoding="UTF-8" ?>
<rss version="2.0" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:wikidot="http://www.wikidot.com/rss-namespace">

	<channel>
		<title>FO News</title>
		<link>http://philosophia.wikidot.com/system:news</link>
		<description></description>
				<copyright></copyright>
		<lastBuildDate>Tue, 14 Feb 2012 06:46:43 +0000</lastBuildDate>
		
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-272431/nowe-starostwo</guid>
				<title>Nowe starostwo</title>
				<link>http://philosophia.wikidot.com/forum/t-272431/nowe-starostwo</link>
				<description>wybrany na ochotnika</description>
				<pubDate>Tue, 05 Oct 2010 20:20:32 +0000</pubDate>
				<wikidot:authorName>zasm</wikidot:authorName>				<wikidot:authorUserId>354708</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Drodzy moi, kilka spraw organizacyjnych:</p> <p>1. Grupa dyskusyjna:</p> <p>Forum nie zdaje egzaminu, wielu osób tu w ogóle nie ma, przepływ informacji jest średni, zatem forum z końcem tygodnia zostanie zawieszone w zamian uruchamiamy dwa inne kanały - grupę dyskusyjną [jutro zbierzemy od was mejle przed/w trakcie/po wykładzie z Filozofii kultury] oraz grupę na fejsbuku. Oba te miejsca będzie ogarniał Stachu;3</p> <p>2. Warunki ze Wstępu do logiki:</p> <p>Jutro puszczę też drugą listę, na której chcę aby wpisały się wszystkie osoby mające warunki z tego przedmiotu w sprawie uzgodnienia zdawania egzaminu oraz ew. zaliczania ćwiczeń [jako, że Sz. Dr Albiński zapowiadał cały zeszły rok, że trójek przepisywać nie będzie]; z tego co zdążyłem zauważyć to ćwiczenia ze wstępu do logiki prowadzi dr Leśniewski ale dla studiów drugiego stopnia… więc na razie nie wiem jak to będzie;3</p> <p>3. Ilość osób na ćwiczeniach z logiki:</p> <p>Jako że profesor Tworak był bardzo niezadowolony, to pewno pójdzie trzecia lista z podziałem na grupy… a żeby uniknąć tej samej sytuacji z ćwiczeniami z filozofii kultury pójdzie i czwarta;&lt;</p> <p>No cóż, na dziś to tyle… chyba, tak?</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-271728/probuje-ogarnac-wf</guid>
				<title>próbuję ogarnąć wf.</title>
				<link>http://philosophia.wikidot.com/forum/t-271728/probuje-ogarnac-wf</link>
				<description></description>
				<pubDate>Fri, 01 Oct 2010 23:20:26 +0000</pubDate>
				<wikidot:authorName>tyyyyyyna</wikidot:authorName>				<wikidot:authorUserId>209284</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>hej, czy ktoś się orientuje jak jest z wfem w tym roku?<br /> w planie studiów w tym semestrze już nie jest uwzględniony (<a href="http://www.staff.amu.edu.pl/~slawekk/programy/files/3_studia_pierwszego_stopnia_filozofia_2009-10_fo.pdf">http://www.staff.amu.edu.pl/~slawekk/programy/files/3_studia_pierwszego_stopnia_filozofia_2009-10_fo.pdf</a>) z kolei na stronie wfu jest napisane że trzeba się zapisać ("wf obowiązuje przez 2 lata studiów blablabla").<br /> problematyczne jest to dla mnie, bo żadne godziny mi nie pasują i gdyby ktoś dysponował wiedzą, czy na wf w tym roku możemy się zapisać, ale nie musimy (albo czy musimy chodzić na milion procent), to proszę niech się podzieli. dziękówka</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-270677/specjalizacja-nauczycielska</guid>
				<title>Specjalizacja nauczycielska</title>
				<link>http://philosophia.wikidot.com/forum/t-270677/specjalizacja-nauczycielska</link>
				<description></description>
				<pubDate>Wed, 29 Sep 2010 07:26:31 +0000</pubDate>
				<wikidot:authorName>sslas</wikidot:authorName>				<wikidot:authorUserId>379247</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Czy nas filozofię ogólną specjalizacja naucz. też dotyczy? Czy ktoś w ogóle wie coś więcej na ten temat? Bo jedyne co widziałam to przedmioty na usos, na które można się rejestrować w tej specjalizacji. Trzeba na wszystkie? Proszę o jakiekolwiek info. ;)</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-269969/mechanika-kwantowa-u-woszczka</guid>
				<title>mechanika kwantowa u Woszczka</title>
				<link>http://philosophia.wikidot.com/forum/t-269969/mechanika-kwantowa-u-woszczka</link>
				<description></description>
				<pubDate>Sun, 26 Sep 2010 12:32:22 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Będzie w semestrze letnim - piszę bo się zdziwiłem, wszedłszy na usosa, że nie ma jej do wyboru w fakultetach. Nie, wiem, może wszyscy inni szanowni członkowie drugiego roku filozofii (gratz, gratz) wiedzieli, ja nie wiedziałem, a znając życie wcale nie jestem ani najmniej ani najbardziej poinformowaną osobą na roku, dlatego macie newsa.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-269645/odpowiedzi-na-pytanie-wtf-z-usosem</guid>
				<title>odpowiedzi na pytanie WTF z usosem</title>
				<link>http://philosophia.wikidot.com/forum/t-269645/odpowiedzi-na-pytanie-wtf-z-usosem</link>
				<description></description>
				<pubDate>Fri, 24 Sep 2010 11:18:01 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Byłem u p.Popielewicza, czyli pana na włościach w usosie i zapytałem, czemu część z nas nie może rejestrować się na drugi rok. Otóż nie możemy tego robić ponieważ nie mamy zaliczonego semestru zimowego i/lub letniego - czyli po prostu prowadzący nie powpisywali ocen (ja nie miałem połowy na przykład - dziwne, bo na mojej stronie usosa były). Nie jest to problem - po prostu czeka nas wszystkich wizyta z indeksem w p.13&nbsp;b. C i ręczne zaliczanie tego wszystkiego, niestety. Czas na rejestrację mamy do 15 listopada, miejsc dość więc bez stresu. Enjoy the last days of holiday;)</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-265646/soltys-abdykuje</guid>
				<title>sołtys abdykuje</title>
				<link>http://philosophia.wikidot.com/forum/t-265646/soltys-abdykuje</link>
				<description></description>
				<pubDate>Thu, 16 Sep 2010 10:51:11 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Ano. Mam do napisania magisterkę, do tego biorę dziekankę na filozofii, więc starostą byłbym dosyć średnim ze szczątkowym z wami kontaktem. Dlatego proponuję wszystkim zastanowić się kogo byście widzieli na moje miejsce, ewentualnie czy ktoś chciałby brać tę fuchę. Na pierwszym wykładzie się zrobi szybkie głosowanie i będzie po krzyku.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-265645/problematyczne-indeksy</guid>
				<title>problematyczne indeksy</title>
				<link>http://philosophia.wikidot.com/forum/t-265645/problematyczne-indeksy</link>
				<description></description>
				<pubDate>Thu, 16 Sep 2010 10:47:39 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Panie i panowie: Piotr Ejzenhart, Matylda Bruniecka, Martyna Zielińska, Anna Lica, Angelika Najdek - dziekanat odrzucił wasze indeksy ze względu na a) brakujące daty, b) brakujące wpisy, c) brakujące podania o warunek - niepotrzebne skreślić.</p> <p>Niektórzy z was mówili żebym nie oddawał, ale mam zbyt mały móżdżek, żeby pamiętać o kim mam pamiętać więc bez urazy - upraszczam sobie po prostu życie wypisując tutaj wszystkich, mnie zresztą dwie pierwsze z tych uwag też dotyczą. Tak więc proponuję odebrać indeksy i rozprawić się z tym wszystkim bo niekoniecznie mi będzie po drodze.</p> <p>Uwaga też do wszystkich - jak uzupełniacie indeksy to patrzcie z łaski swojej na to, co jest napisane na karcie egzaminacyjnej. Indeksy wypełnia się w takiej kolejności w jakiej są tam wydrukowane przedmioty, a nie najpierw wykłady, potem koła, czy też na odwrót. Uzupełniajcie też na przyszłość nazwy fakultetów bo potem to wam wyjdzie bokiem jak będziecie je musieli sobie przypomnieć przy okazji oddawania indeksu żeby odebrać licencjat.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-254372/terminy-poprawek</guid>
				<title>terminy poprawek</title>
				<link>http://philosophia.wikidot.com/forum/t-254372/terminy-poprawek</link>
				<description></description>
				<pubDate>Mon, 19 Jul 2010 20:07:24 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>ano:<br /> 13.09 - logika<br /> 14.09, godz. 9.00 - 12.00 - bizantyjska<br /> 15 - ontologia</p> <p>odezwę się jeszcze do dra Jocza o średniowieczną.</p> <p>Wygląda to przerażająco dosyć, niestety, prof. Wesoły był nieugięty jeżeli chodzi o ten 14, ja z kolei byłem w kiepskiej pozycji do dyskusji bo ustalaliśmy termin dosłownie w połowie mojego egzaminu… Sali z logiki jeszcze nie ma (albo ustaliłem ale zapomniałem, ale wątpię) - będzie pewnie któraś z dwudziestek bo mało nas jest do poprawy. Tak czy inaczej na naukę mamy całe wakacje:&gt; Do czego nie zachęcam;)</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-250437/jakie-pytania-zadawal-wesoly</guid>
				<title>Jakie pytania zadawał Wesoły?</title>
				<link>http://philosophia.wikidot.com/forum/t-250437/jakie-pytania-zadawal-wesoly</link>
				<description></description>
				<pubDate>Mon, 28 Jun 2010 19:33:59 +0000</pubDate>
				<wikidot:authorName>Koszyk</wikidot:authorName>				<wikidot:authorUserId>426350</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Jakie pytania zadawał Wesoły? Trudno było?</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-250053/lista-z-wesolego</guid>
				<title>lista z Wesołego</title>
				<link>http://philosophia.wikidot.com/forum/t-250053/lista-z-wesolego</link>
				<description></description>
				<pubDate>Sat, 26 Jun 2010 14:42:19 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Panocki, jak ktoś się jeszcze nie zapisał na wesołego to proszę o wiadomość na priva albo maila bo popatrzyłem dzisiaj na listy i okazuje się, że dopiero połowa roku się wpisała. Mój błąd, nie dopilnowałem, ale bardzo jednak proszę o zgłaszanie się. 29 i 30&nbsp;są jeszcze prawie zupełnie wolne, z 28 uważajta bo mało miejsc zostało.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-249811/hfb</guid>
				<title>hfb</title>
				<link>http://philosophia.wikidot.com/forum/t-249811/hfb</link>
				<description></description>
				<pubDate>Thu, 24 Jun 2010 20:43:50 +0000</pubDate>
				<wikidot:authorName>zasm</wikidot:authorName>				<wikidot:authorUserId>354708</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>pytanie z kosmosu, zdaję sobie z tego sprawę, ale może ktokolwiek mógłby powiedzieć czego się można u prof. wesołego spodziewać? /to brzmi źle/<br /> ktokolwiek na tych wykładach był, z mniej więcej powtarzającą się częstotliwością, i ogarnia w ogóle co tam się działo?;)</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-249473/indeksy-do-wpisow-z-logiki</guid>
				<title>indeksy do wpisów z logiki</title>
				<link>http://philosophia.wikidot.com/forum/t-249473/indeksy-do-wpisow-z-logiki</link>
				<description></description>
				<pubDate>Wed, 23 Jun 2010 08:48:09 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Od piątku podczas egzaminu u prof. Sucha zaczynam zbierać indeksy do poniedziałkowych wpisów z logiki. Do tego czasu powinny już być wszystkie wyniki więc proszę o indeksy tylko osoby, które zaliczyły. Jak ktoś ma logikę do poprawki to wpis dostanie jak już poprawi bo nie ma sensu dwa razy biegać.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-248206/joczyzm</guid>
				<title>joczyzm</title>
				<link>http://philosophia.wikidot.com/forum/t-248206/joczyzm</link>
				<description></description>
				<pubDate>Wed, 16 Jun 2010 06:09:24 +0000</pubDate>
				<wikidot:authorName>Muguet</wikidot:authorName>				<wikidot:authorUserId>418238</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Hej!</p> <p>Zapoda ktoś przykładowe pytania, które padały z ust Jocza na egzaminie ze średniowiecznej… ?</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-247977/listy-egzaminacyjne-z-onto</guid>
				<title>listy egzaminacyjne z onto</title>
				<link>http://philosophia.wikidot.com/forum/t-247977/listy-egzaminacyjne-z-onto</link>
				<description></description>
				<pubDate>Tue, 15 Jun 2010 04:08:56 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Wysłałem Suchowi listy na maila - gdyby nie wiedział (bo nie wiem ani czy ani jak często sprawdza tego instytutowego) - to mu powiedzcie. Ja chwilowo jestem mało ruchawy i sam nijak nie mogłem mu ich dzisiaj dostarczyć.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-247822/wpisy-u-nawrockiej</guid>
				<title>wpisy u Nawrockiej</title>
				<link>http://philosophia.wikidot.com/forum/t-247822/wpisy-u-nawrockiej</link>
				<description></description>
				<pubDate>Mon, 14 Jun 2010 11:32:40 +0000</pubDate>
				<wikidot:authorName>Muguet</wikidot:authorName>				<wikidot:authorUserId>418238</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Hej!</p> <p>Czy ktoś z Was nie ma jeszcze wpisu z angielskiego od mgr Joanny Nawrockiej i wybiera się do niej na czwartkowy dyżur??</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-247248/terminy-egzaminow</guid>
				<title>terminy egzaminów</title>
				<link>http://philosophia.wikidot.com/forum/t-247248/terminy-egzaminow</link>
				<description></description>
				<pubDate>Thu, 10 Jun 2010 15:10:23 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>informatyka: 14.06, 22.06<br /> jocz: 16,17,18.06 (po jednym terminie na grupę)<br /> ontologia: 15.06, 25.06<br /> logika: 21, godz 9.00, s. 50, 23.00, godz 9.00, s. kinowa (jeżeli ktoś się nie zapisał na listę to wolny termin to 23 - Tworak zabrał już listy)<br /> bizantyjska: 28,29,30.06</p> <p>Nie wiadomo co z informatyką. Masi nie odpisał jeszcze czy zgadza się na drugi termin i kiedy w ogóle piszemy ten pierwszy. Godziny dopiszę jak ustalę salę na logikę.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-246998/logiczny-sajgon-megawazne</guid>
				<title>logiczny sajgon - megaważne</title>
				<link>http://philosophia.wikidot.com/forum/t-246998/logiczny-sajgon-megawazne</link>
				<description></description>
				<pubDate>Wed, 09 Jun 2010 15:43:53 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Słuchajcie.<br /> Adam Donal, Ola Sulczewska, Karolina Woszczek, Kinga Rudownik - idźcie do Albina zaliczać prace domowe tudzież koło, im szybciej tym lepiej. Jak to przeczytacie na czas to w czwartek po ostatniej grupie, jak nie to w poniedziałek - od 11.30 - i to jest termin absolutnie ostateczny.</p> <p>To samo dotyczy wszystkich innych osób, które nie oddały mi indeksu i w efekcie nie wiedzą co dostały - dowiedzcie się jak najszybciej bo mnóstwo ludzi ma zaległe prace domowe, tak samo mnóstwo ludzi oblało koło na 0 albo 1 punkt (zaliczenie było od 4). Sory, że wypisałem niektóre osoby po nazwisku - jakbym miał listę wszystkich co oblali, napisałbym wszystkich. Po prostu nie wszyscy czytają regularnie forum i nie do każdego mam kontakt, dlatego jeżeli ktoś zobaczy, że znajomy ma opisaną wyżej sytuację - powiedzcie, bo poniedziałek to naprawdę ostateczny termin. Oceny powinny znaleźć się w usosie do niedzieli wieczorem więc rozumiecie.<br /> Jeżeli ktoś faktycznie nie będzie mógł przyjść do poniedziałku - w sensie pogrzeb, choroba nagła i gromka - kontaktujcie się z Albim przez maila, przy czym Albi prosi o nie robienie sobie jaj i postawienie poprzeczki 'poważna sytuacja' dosyć wysoko.<br /> Bo inaczej będą lufy i możliwe warunki, no, więc przejmijcie się.</p> <p>Zdrowia, szczęścia, pomyślności.</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-245810/takie-tam</guid>
				<title>takie tam</title>
				<link>http://philosophia.wikidot.com/forum/t-245810/takie-tam</link>
				<description></description>
				<pubDate>Thu, 03 Jun 2010 17:04:17 +0000</pubDate>
				<wikidot:authorName>pieczyl</wikidot:authorName>				<wikidot:authorUserId>389857</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Hej, Magda, pozdrów Mateusza:P</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-245763/logika-formalna-zagadnienia-na-egzamin</guid>
				<title>Logika formalna - zagadnienia na egzamin</title>
				<link>http://philosophia.wikidot.com/forum/t-245763/logika-formalna-zagadnienia-na-egzamin</link>
				<description></description>
				<pubDate>Thu, 03 Jun 2010 12:50:01 +0000</pubDate>
				<wikidot:authorName>h_t</wikidot:authorName>				<wikidot:authorUserId>491933</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>1.Język KRZ: słownik, formuła.<br /> 2.Charakterystyka semantyczna KRZ:<br /> a. Definicje: funkcje prawdziwościowe, funkcja wartościowania, tautologia i kontrtautologia, wynikanie semantyczne (konsekwencja semantyczna), reguła (schemat) wnioskowania i niezawodna reguła wnioskowania, reguły podstawiania i odrywania.<br /> b. Twierdzenia: twierdzenie o logicznej prawdziwości, twierdzenia łączące pojęcia tautologii, wynikania semantycznego i niezawodnej reguły wnioskowania, semantyczne twierdzenie o podstawianiu, semantyczne twierdzenie o odrywaniu.<br /> c. Wybrane tautologie KRZ.<br /> 3.Charakterystyka syntaktyczna KRZ: aksjomaty i reguły inferencyjne (dowodzenia), przykłady dowodów (co najmniej dwa).<br /> 4.Elementy metalogiki KRZ:<br /> a. Definicje: dowód, wynikanie syntaktyczne (konsekwencja inferencyjna), teza KRZ, teoria.<br /> b. Koniunkcyjna postać normalna.<br /> c. Twierdzenia: charakteryzujące operację Cn (o zwrotności, o idempotencji, o monotoniczności, o finitystyczności), syntaktyczne twierdzenia o odrywaniu, twierdzenia o dedukcji dla KRZ, charakteryzujące zbiór tautologii KRZ jako teorię, twierdzenia o pełności KRZ (silne i słabe), twierdzenie o niesprzeczności KRZ.<br /> d. Niezależność aksjomatów.<br /> 5.Pojęcie języka pierwszego rzędu<br /> 6.Język KRP: słownik, term (formuła nazwowa), formuła zdaniowa atomowa, formuła zdaniowa, zasięg kwantyfikatora, zmienna wolna i zmienna związana, zdanie i funkcja zdaniowa, domknięcie formuły.<br /> 7.Charakterystyka syntaktyczna KRP: aksjomaty i reguły inferencyjne (dowodzenia), przykłady dowodów (co najmniej dwa), wybrane (meta)prawa KRP.<br /> 8.Klasyczny rachunek predykatów z identycznością (KRPI). Operator deskrypcyjny.<br /> 9.Kwantyfikatory o ograniczonym zakresie.<br /> 10.Elementy metalogiki KRP:<br /> a. Definicje: derywacja (wyprowadzenie formuły), dowód, teza KRP, konsekwencja logiczna.<br /> b. Twierdzenia: charakteryzujące operację Cn<sub>L</sub>, syntaktyczne twierdzenie o odrywaniu, syntaktyczne twierdzenie o generalizacji twierdzenia o dedukcji dla KRP, twierdzenie o dowodach założeniowych, twierdzenia o neutralności logiki wobec stałych pozalogicznych (intuicje)</p> <p>UWAGI: 1.Warunkiem koniecznym (lecz nie wystarczającym) przystąpienia do egzaminu jest zaliczenie „Ćwiczeń”<br /> 2.Egzamin będzie zgodny ze standardami Unii Europejskiej (niezależnie od tego, co ten termin oznacza).<br /> 3.Na ocenę bardzo dobrą wymagane są dowody twierdzeń.<br /> 4.Po zdanym egzaminie: Wakacje!</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
					<item>
				<guid>http://philosophia.wikidot.com/forum/t-245607/ti</guid>
				<title>TI</title>
				<link>http://philosophia.wikidot.com/forum/t-245607/ti</link>
				<description></description>
				<pubDate>Wed, 02 Jun 2010 21:51:13 +0000</pubDate>
				<wikidot:authorName>Muguet</wikidot:authorName>				<wikidot:authorUserId>418238</wikidot:authorUserId>				<content:encoded>
					<![CDATA[
						 <p>Mam pytanie o egzamin z technologii informacyjnych. Czy ktoś wie kiedy ma on mieć miejsce? (i… po co on w ogóle?;/)</p> 
				 	]]>
				</content:encoded>								<category>FO News</category>
							</item>
				</channel>
</rss>
