IFLST


Introduction to Formal Logic and Set Theory

Consultations Friday 9 am.  If you need consultations -> email me.  

Test 1. 24.10 Test 2 28.11 Test 3 119.12 Test 4 16.01

Retake 23.01

IFLST 0 - Induction

IFLST1 - Logic 

IFLST 2 - Sets

IFLST 3 - Intersections and Unions 

IFLST 4 - Functions 

IFLST 5 - Relations 

IFLST 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
2013 test1|test2|test3|test4
2014 test1|test2|test3|test4
2015 test1|test2|test3|test4
2016 test1|test2|test3|test4




Literature: 

[1] e.mini.pw.edu.pl https://e.mini.pw.edu.pl/en/course_details/5387
[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

and moreover the following are recommended 
  1. W. Marek, J. Onyszkiewicz - Elementy logiki i teorii mnogości w zadaniach, 
  2. H. Rasiowa - Wstęp do matematyki współczesnej, PWN
  3. K. Kuratowski - Wstęp do teorii mnogości i topologii, PWN
  4. W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki
  5.  W. Guzicki, P. Zakrzewski - Wstęp do matematyki. Zbiór zadań, PWN 2005
  6. 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 MathematicsVatsa, B.S.
New Age International2009.
      
in e-books: Ebrary Academic Complete Subscription Collection

   Discrete mathematics : elementary and beyondLovász, László
Springer2003.
      
in e-books: Ebrary Academic Complete Subscription Collection

   Discrete Mathematics with Applications  Koshy, Thomas
Academic Press [Imprint]2003.
      
in e-books: ScienceDirect Mathematics eBook Collection 1995-2006

   Schaum's outline of theory and problems of discrete mathematics2nd ed. / Lipschutz, Seymour
Alternate Title: Discrete mathematics
McGraw-Hill1997.e-books: Ebrary Academic Complete Subscription Collection