IFLST 2014/14
Introduction to Formal Logic and Set Theory
IFLST exam Tuesday at 4.00 pm 2. June. room ???
Consultations Monday (Friday plan) 1 June 4pm.
ItMM 1 - Logic
ItMM 2 - Sets
ItMM 3 - Intersections and Unions
ItMM 4 - Functions
ItMM 5 - Relations
ItMM 6 - Order sets
Exercises: 4 test 8 points each + 8 points for activity = 40 points
Exam: 60 points (including 20 points for theory).
The final grade is awarded according to the following scale: 50-59 C, 60-69 C+, 70-79 B, 80-89 B+, 90-100 A.
Tests from previous years
Test 1 2008|2009|2010|
Test 2 2008|2009|2010|
2011 test1|test2|test3|test4
2012 test1|test2|test3|test4
Literature:
[1] e.mini.pw.edu.pl
[2]
https://gamma.mini.pw.edu.pl/e-mini/en/course_details/2969[2] Ethan
Bloch, Proofs and Fundamentals A First Course in Abstract Mathematics http://eczyt.bg.pw.edu.pl/han/SpringerLink/www.springerlink.com/content/978-1-4419-7126-5/?MUD=MP
[3] Matthias Beck and Ross Geoghegan, The Art of Proof Basic Training for Deeper Mathematics http://eczyt.bg.pw.edu.pl/han/SpringerLink/www.springerlink.com/content/978-1-4419-7022-0/#section=753824&page=1
- W. Marek, J. Onyszkiewicz - Elementy logiki i teorii mnogości w zadaniach,
- H. Rasiowa - Wstęp do matematyki współczesnej, PWN
- K. Kuratowski - Wstęp do teorii mnogości i topologii, PWN
- W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki
- W. Guzicki, P. Zakrzewski - Wstęp do matematyki. Zbiór zadań, PWN 2005
- http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci
You got electronic access to some books on Itmm:
http://www.bg.pw.edu.pl/ezrodla.html -> Lista tytułów e-źródeł -> Title begins with "discrete
mathematics"
Discrete Mathematics, Vatsa,
B.S.. | in e-books: Ebrary Academic Complete Subscription Collection |
Discrete mathematics :
elementary and beyond, Lovász, László. | in e-books: Ebrary Academic Complete Subscription Collection |
Discrete Mathematics with
Applications Koshy,
Thomas. | in e-books: ScienceDirect Mathematics eBook Collection 1995-2006 |
Schaum's outline of theory
and problems of discrete mathematics, 2nd ed. / Lipschutz,
Seymour.