IFLST 2022/23
Introduction to Formal Logic and Set Theory
Tasks for tutorials are available on MS Teams
If you need consultations -> text me on teams or email me konstanty.szaniawski at pw.edu.pl or Joanna Chybowska-Sokół: joanna.sokol at pw.edu.pl.
Poniedziałek / Monday: – 18:00 - po wcześniejszym umówieniu / contact me before.
Piątek / Friday: – 9:15 - po wcześniejszym umówieniu / contact me before.
Test 1 30 points
Test 2 - 30 points
Test 3 - 30 points
Activity 10 points
To pass at least 12 points on each test and at least 50 on total are required
Exam is a retake or desired test. Higher grade counts.
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
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
in e-books: Ebrary Academic Complete Subscription Collection |
in e-books: Ebrary Academic Complete Subscription Collection |
in e-books: ScienceDirect Mathematics eBook Collection 1995-2006 |
- 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