• Aktualności
• Dydaktyka
• Archiwum / Archives
  • Archiwum 2019/2020
  • Archiwum 2018/19
  • Archiwum 2016/17
  • Archiwum 2015/16
    • Modelowanie
    • ELiTM
    • IFLST
    • WB
  • Archiwum 2014/15+
  • Archiwum 2013/14
  • Archiwum 2012/13
  • Archiwum 2011/12
  • Archiwum 2010/11
  • Archiwum 2009/10
• Dyplomanci
• Badania naukowe
• Publication list
• Prodziekańskie rady
• Humor
• Piknik Naukowy

Aktualności > Archiwum / Archives > Archiwum 2015/16 > IFLST

IFLST

Introduction to Formal Logic and Set Theory

If you need consultations -> email me. 

Test 1. 27.10 Test 2 24.11 Test 3 12.01 Test 4 26.01

Retake 28.01 3:15 pm room 103.

Consultations before the test (Monday) 11 January 4:15 and  6:15 pm.

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

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"

  Schaum's outline of theory and problems of discrete mathematics, 2nd ed. / Lipschutz, Seymour.
McGraw-Hill, 1997.e-books: Ebrary Academic Complete Subscription Collection