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

Permanent URI for this collection

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

Browse

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

Now showing 1 - 11 of 11
  • Thumbnail Image
    Item
    Combinatorial Maps. Tutorial
    (2012-03-22) Zeps, Dainis
    This tutorial introduces a reader in the theory of combinatorial maps theory as it is outlined in the author's article Graphs as rotations, KAM Series, Prague, 1996, arxiv.org/abs/0909.0104.
  • 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.
  • 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
    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
    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).
  • Withdrawn
    No Thumbnail Available
    Item
  • Thumbnail Image
    Item
    Varbūtības. Mācību grāmata vidusskolām.
    (Rīga, 1992) Podnieks, Kārlis
    Saturs. 1. Trīs etīdes. 2. Varbūtības jēdziens. 3. Varbūtību īpašības. 4. Kombinatorikas lietošana varbūtību teorijā. 5. Nosacītās varbūtības. 6. Beijesa formula. 7. Gadījuma lielumi. 8. Dispersija. Čebiševa nevienādība. 9. Lielo skaitļu likums. 10. Korelācija. Uzdevumu atrisinājumi.
  • Thumbnail Image
    Item
    What is Mathematics: Gödel's Theorem and Around (Edition 2013)
    (2013-06-23) Podnieks, Karlis
    Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.
  • 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
    Вокруг теоремы Геделя
    (Latvia State University, 1981) Podnieks, Karlis
    Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции. См. также 2е издание: Подниекс К. М. Вокруг теоремы Геделя. – Рига: 1992ю
  • Thumbnail Image
    Item
    Вокруг теоремы Геделя
    (Рига: Зинатне, 1992) Podnieks, Karlis
    Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологи- ческой концепции.