Lecture Notes for Mathematical logic

Simple item page
dc.contributor.authorSaadaoui, Kheir
dc.date.accessioned2025-01-08T10:22:04Z
dc.date.available2025-01-08T10:22:04Z
dc.date.issued2024-11-05
dc.description.abstractThe printed material covers lectures and exercises related to topics outlined by the relevant ministry, featuring detailed and in-depth explanations. It includes explanations of logical vocabulary, types of proofs, and theories of sets. Propositional Calculus, Predicate Calculus.
dc.identifier.urihttps://dspace.univ-msila.dz/handle/123456789/45490
dc.language.isoen
dc.publisherMohamed Boudiaf University of M'sila
dc.relation.ispartofseries151/2024
dc.subjectProof Methods
dc.subjectSyntax of Propositional Formulas and the Interpretation of a Logical Formula
dc.subjectSemantics
dc.subjectTautologies and logical equivalences
dc.subjectTheory and terms
dc.subjectFirst order logic
dc.titleLecture Notes for Mathematical logic
dc.title.alternativeCourses and Tutorials for Mathematical logic of the second-year Bachelor’s in Mathematics
dc.typePreprint

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Lecture Notes for_merged.pdf
Size:
5.08 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Faculty Publications