<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Informatyka studia dzienne - WMI, WMID, UAM, Uniwersytet im. Adama Mickiewicza w Poznaniu &#187; Podstawy logiki i teorii mnogości</title>
	<atom:link href="http://www.wmi.chrusciel.net/kategoria/podstawy-logiki-i-teorii-mnogosci/feed" rel="self" type="application/rss+xml" />
	<link>http://www.wmi.chrusciel.net</link>
	<description>Studenci dla studentów - wydział matematyki i informatyki Uniwersytetu im. Adama Mickiewicza w Poznaniu WMI, WMII</description>
	<lastBuildDate>Wed, 12 Nov 2008 21:22:02 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.2.1</generator>
		<item>
		<title>Egzamin pisemny &#8211; podstawy logiki i teorii mnogości &#8211; pytania &#8211; dr hab. Maciej Kandulski</title>
		<link>http://www.wmi.chrusciel.net/2008/01/31/logika-pytania-na-egzamin-kandulski.html</link>
		<comments>http://www.wmi.chrusciel.net/2008/01/31/logika-pytania-na-egzamin-kandulski.html#comments</comments>
		<pubDate>Thu, 31 Jan 2008 22:55:48 +0000</pubDate>
		<dc:creator>M</dc:creator>
				<category><![CDATA[Podstawy logiki i teorii mnogości]]></category>
		<category><![CDATA[SESJA]]></category>
		<category><![CDATA[egzamin]]></category>
		<category><![CDATA[egzamin pisemny]]></category>
		<category><![CDATA[logika]]></category>
		<category><![CDATA[maciej kandulski]]></category>
		<category><![CDATA[macieja kandulskiego]]></category>
		<category><![CDATA[pytania]]></category>
		<category><![CDATA[teoria mnogości]]></category>

		<guid isPermaLink="false">http://www.wmi.chrusciel.net/2008/01/31/logika-pytania-2.html</guid>
		<description><![CDATA[Pytania z egzaminu pisemnego z podstaw logiki i teorii mnogości Jak widzicie lista jest niekompletna ale wspólnymi siłami na pewno uda się nam ją uzupełnić Proszę pisać w komentarzach lub mailowo. Szczególnie gr. I Gr. I -definicja dowodu -dwa aksjomaty w LPR dla duzego kwantyfikatora -funkcja zachowujaca zero, funkcja samodwoista, funkcja monotniczn wraz z przyladami [...]]]></description>
		<wfw:commentRss>http://www.wmi.chrusciel.net/2008/01/31/logika-pytania-na-egzamin-kandulski.html/feed</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
		<item>
		<title>Przykładowe pytania na egzamin &#8222;zerowy&#8221; &#8211; dr hab. Maciej Kandulski</title>
		<link>http://www.wmi.chrusciel.net/2008/01/29/pytania-na-egzamin-kandulski.html</link>
		<comments>http://www.wmi.chrusciel.net/2008/01/29/pytania-na-egzamin-kandulski.html#comments</comments>
		<pubDate>Tue, 29 Jan 2008 15:24:18 +0000</pubDate>
		<dc:creator>M</dc:creator>
				<category><![CDATA[Podstawy logiki i teorii mnogości]]></category>
		<category><![CDATA[SESJA]]></category>

		<guid isPermaLink="false">http://www.wmi.chrusciel.net/2008/01/29/logika-pytania.html</guid>
		<description><![CDATA[Przykładowy zestaw pytań z egzaminu pisemnego zdawanego w terminie &#8222;zerowym&#8221; u dr hab. Macieja Kandulskiego: Tautologia &#8211; definicja Niezawodny schemat wnioskowania &#8211; definicja Algebra Boole&#8217;a &#8211; definicja, przykłady Zbiór funkcji zachowujących 0 zb. funkcji zachowujących 1 zb. funkcji samodwoistych zb. funkcji liniowych zb. funkcji monotonicznych definicje, przykłady Twierdzenie Posta-Jabłońskiego (treść) Dowód w rachunku predykatów (dowolny) [...]]]></description>
		<wfw:commentRss>http://www.wmi.chrusciel.net/2008/01/29/pytania-na-egzamin-kandulski.html/feed</wfw:commentRss>
		<slash:comments>8</slash:comments>
		</item>
		<item>
		<title>11:R-LOG-1/071126/0</title>
		<link>http://www.wmi.chrusciel.net/2007/11/24/11r-log-10711260.html</link>
		<comments>http://www.wmi.chrusciel.net/2007/11/24/11r-log-10711260.html#comments</comments>
		<pubDate>Sat, 24 Nov 2007 20:27:02 +0000</pubDate>
		<dc:creator>M</dc:creator>
				<category><![CDATA[Ćwiczenia - gr. 11]]></category>

		<guid isPermaLink="false">http://www.wmi.chrusciel.net/2007/11/24/11r-log-10711260.html</guid>
		<description><![CDATA[Zbiór teorii na kolokwium z logiki (gr. 11) &#8211; 26.11.2007 - wersja 2.0 - nie ma jeszcze tego co mieliśmy skserować od drugiej grupy&#8230; ______________________________________________________________________ SPÓJNIKI negacja koniunkcja alternatywa implikacja równoważność 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 [...]]]></description>
		<wfw:commentRss>http://www.wmi.chrusciel.net/2007/11/24/11r-log-10711260.html/feed</wfw:commentRss>
		<slash:comments>7</slash:comments>
		</item>
		<item>
		<title>1:W-LOG-1/071107/0</title>
		<link>http://www.wmi.chrusciel.net/2007/11/07/1w-log-10711070.html</link>
		<comments>http://www.wmi.chrusciel.net/2007/11/07/1w-log-10711070.html#comments</comments>
		<pubDate>Wed, 07 Nov 2007 07:15:21 +0000</pubDate>
		<dc:creator>Crs</dc:creator>
				<category><![CDATA[Wykłady]]></category>

		<guid isPermaLink="false">http://www.wmi.chrusciel.net/2007/11/07/1w-log-10711070.html</guid>
		<description><![CDATA[Zajęcia prowadził: dr hab. Maciej Kandulski &#160; ALGEBRY BOOLE&#8217;A Algebra Boolea Dualność w algebrach Boole&#8217;a &#160; - George Boole (1815-1864) ______________________________________________________________________ Def. Algebrą nazywamy zbiór wraz z działaniem/działaniami i elementami wyróżnionymi. Ważne jest to, iż każde działanie w algebrze musi być w uniwersum (przestrzeni (zbiorze) wszystkich elementów), czyli każdy argument działania musi zawierać się w [...]]]></description>
		<wfw:commentRss>http://www.wmi.chrusciel.net/2007/11/07/1w-log-10711070.html/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>1:W-LOG-1/071003/0</title>
		<link>http://www.wmi.chrusciel.net/2007/10/03/1w-log-10710030.html</link>
		<comments>http://www.wmi.chrusciel.net/2007/10/03/1w-log-10710030.html#comments</comments>
		<pubDate>Wed, 03 Oct 2007 07:15:19 +0000</pubDate>
		<dc:creator>M</dc:creator>
				<category><![CDATA[Podstawy logiki i teorii mnogości]]></category>
		<category><![CDATA[Wykłady]]></category>

		<guid isPermaLink="false">http://www.wmi.chrusciel.net/?p=6</guid>
		<description><![CDATA[Zajęcia prowadził: dr hab. Maciej Kandulski &#160; Literatura Zdanie w sensie logiki Klasyczna definicja prawdy Wnioskowanie Reguła odrywania (Modus Poneus) &#160; KLASYCZNY RACHUNEK ZDAŃ Spójniki Symbole alfabetu języka rachunku zdań Zmienne zdaniowe Zbiór formuł jezyka rachunku zdań Podstawianie &#160; ____________________________________________________________ Dyżur: wtorek 12:00-13:00, poniedziałek ; B2-30 - egzamin pisemny będzie, na ćwiczeniach kolokwia - można [...]]]></description>
		<wfw:commentRss>http://www.wmi.chrusciel.net/2007/10/03/1w-log-10710030.html/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

