Mathematical logic:Course and corrected exercises
| dc.contributor.author | KHALOUTA , Ali | |
| dc.date.accessioned | 2026-06-18T07:48:10Z | |
| dc.date.issued | 2025 | |
| dc.description | هذه المطبوعة البيداغوجية هي المادة الدراسية لمقرر » المنطق الرياضي « ، الذي يُدرّسه الدكتور خلوطة علي لطلاب السنة الثانية ليسانس في الرياضيات بجامعة فرحات عباس سطيف 1 . وقد طُوّرت هذه المادة على مدار العام، وهي لا تُغني عن المحاضرات. تتبع هذه الوثيقة المحاضرات بدقة، ومع تعديلات طفيفة فقط، تُعيد إنتاج المحاضرة كما قُدّمت لجميع الطلبة | |
| dc.description.abstract | This pedagogical handout is the course material for « Mathematical logic », taught by Dr. Ali KHALOUTA to second-year students licence in mathematics at Ferhat ABBAS University Setif 1. Developed throughout the year, this document does not replace the course. It closely follows the lectures, with only minor modifications, it reproduces the course exactly as it was given to all students. | |
| dc.description.sponsorship | Ce polycopié pédagogique est le support du cours « Logique mathématique », enseigné par le Dr. KHALOUTA Ali pour les étudiants de deuxième année licence en mathématiques à l'université Ferhat ABBAS Setif 1. Élaboré tout au long de l'année, il ne remplace pas le cours magistral. Ce document est très proche du cours enseigné, et excepté quelques infimes modifications, il retranscrit le cours tel qu’il a été donné à tous les étudiants. | |
| dc.identifier.other | PM/0040 | |
| dc.identifier.uri | https://repository.univ-setif.dz/handle/123456789/1048 | |
| dc.language.iso | en | |
| dc.publisher | Setif 1 Unuversity Ferhat Abbas . Faculty of Sciences | |
| dc.subject | Propositional calculus | |
| dc.subject | Set theory | |
| dc.subject | Proof by recurrence | |
| dc.title | Mathematical logic:Course and corrected exercises | |
| dc.type | Book chapter |