IFLST 2020/21


Introduction to Formal Logic and Set Theory

Lectures are on MSTeams on Mondays at 8.00. If you have no access to MSTeams let me know.

If you need consultations -> email me konstanty.szaniawski at pw.edu.pl or Agnieszka Piliszek agnieszka.piliszek at pw.edu.pl.

My consultations are on Thursdays at 5 pm. A mail about your need of consultations would be appreciated


IFLST 0 - Induction

IFLST1 - Logic  updated 04.10.2020

IFLST 2 - Sets

IFLST 3 - Intersections and Unions 

IFLST 4 - Functions 

IFLST 5 - Relations 

IFLST 6 - Order sets

test 1 27 October 10 (45 min) 15 points, units 0-1

test 2 24 November (45 min) 15 points, units 2-3

test 3 15 December (90 min) 30 points, units 4

test 4 18 January (90 min) 30 points, units 5-6

Activity 10 points.

total points 100

From each test 1+2, 3, 4 at least 12 points is required.

If you feel ill do not come to the faculty even for a test.

Exam is a retake of any of tests 1+2, 3, 4, according to what you need or want.

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.

In 2020 tests include theory.

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
2017 test1|test2|test3|test4
2018 test1|test2|test3|test4
2019 test1|test2|test3|test4

Literature: 

[1] e.mini.pw.edu.pl https://e.mini.pw.edu.pl/en/course_details/8218

[2] Larry J. Gerstein, Introduction to Mathematical Structures and Proofs, Second Edition, 2012.
https://link-1springer-1com-1000096z11f13.eczyt.bg.pw.edu.pl/book/10.1007%2F978-3-642-59279-9

[3] M. Beck, R. Geoghegan, The Art of Proof,
https://link-1springer-1com-1000096z11f18.eczyt.bg.pw.edu.pl/book/10.1007%2F978-1-4419-7023-7

[4] P. R. Halmos, Naive Set Theory,

[5] S. Kurgalin, S.Borzunov, The Discrete Math Workbook, A Companion Manual for Practical Study,

[6] I.Lavrov, L.Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

[7] W.D. Wallis, A Beginner's Guide to Discrete Mathematics

[8] D.J. Booth, Foundation Discrete Mathematics for Computing

[9]  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
[10] 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


   Discrete Mathematics, Vatsa, B.S.. 
New Age International, 2009.
      
in e-books: Ebrary Academic Complete Subscription Collection

   Discrete mathematics : elementary and beyond, Lovász, László. 
Springer, 2003.
      
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 mathematics, 2nd ed. / Lipschutz, Seymour. 
Alternate Title: Discrete mathematics
McGraw-Hill, 1997.e-books: Ebrary Academic Complete Subscription Collection

and moreover the following books in polish 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


Powered by CMSimple