Mācību-metodiskie materiāli (DF) / Teaching Stuff

Permanent URI for this collection

https://dspace-dev.lu.lv/handle/7/655

Browse

Recent Submissions

Now showing 1 - 5 of 10
  • Thumbnail Image
    Item
    Introduction to Mathematical Logic, Edition 2021
    (2021-02-07) Detlovs, Vilnis; Podnieks, Karlis;
    Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
  • Thumbnail Image
    Item
    Introduction to Mathematical Logic (Edition 2017)
    (2017-05-24) Podnieks, Karlis
    This is Edition 2017. Read the NEW Edition 2021 at https://dspace.lu.lv/dspace/handle/7/53914. Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms, skolemization and resolution method. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).
  • Thumbnail Image
    Item
    What is Mathematics: Gödel's Theorem and Around (Edition 2015)
    (2015-01-25) Podnieks, Karlis
    Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
  • Thumbnail Image
    Item
    Introduction to Mathematical Logic (Edition 2014)
    (2014-08-25) Detlovs, Vilnis; Podnieks, Karlis
    Hyper-textbook for students. This is Edition 2014. ATTENTION! New Edition 2021 available at https://dspace.lu.lv/dspace/handle/7/53914
  • Thumbnail Image
    Item
    Informācijas tehnoloģijas nozares tiesību un standartu pamati
    (LU Apgāds, 2005) Šmite, Darja; Dosbergs, Dainis; Borzovs, Juris
    Fundamentals of laws and standards in information and communication technology sector are presented.