• English
    • Latviešu
    • Deutsch
    • русский
  • Help
  • русский 
    • English
    • Latviešu
    • Deutsch
    • русский
  • Войти
Искать 
  •   Главная
  • B4 – LU fakultātes / Faculties of the UL
  • A -- Eksakto zinātņu un tehnoloģiju fakultāte / Faculty of Science and Technology
  • Mācību-metodiskie materiāli (EZTF) / Teaching Stuff
  • Искать
  •   Главная
  • B4 – LU fakultātes / Faculties of the UL
  • A -- Eksakto zinātņu un tehnoloģiju fakultāte / Faculty of Science and Technology
  • Mācību-metodiskie materiāli (EZTF) / Teaching Stuff
  • Искать
JavaScript is disabled for your browser. Some features of this site may not work without it.

Искать

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Отображаемые элементы 1-10 из 10

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Combinatorial Maps. Tutorial 

Zeps, Dainis (2012-03-22)
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

Вокруг теоремы Геделя 

Podnieks, Karlis (Рига: Зинатне, 1992)
Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического ...
Thumbnail

Varbūtības. Mācību grāmata vidusskolām. 

Podnieks, Kārlis (Rīga, 1992)
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 ...
Thumbnail

Informācijas tehnoloģijas nozares tiesību un standartu pamati 

Šmite, Darja; Dosbergs, Dainis; Borzovs, Juris (LU Apgāds, 2005)
Fundamentals of laws and standards in information and communication technology sector are presented.
Thumbnail

What is Mathematics: Gödel's Theorem and Around (Edition 2015) 

Podnieks, Karlis (2015-01-25)
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
Thumbnail

What is Mathematics: Gödel's Theorem and Around (Edition 2013) 

Podnieks, Karlis (2013-06-23)
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

Вокруг теоремы Геделя 

Podnieks, Karlis (Latvia State University, 1981)
Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. ...
Thumbnail

Introduction to Mathematical Logic, Edition 2021 

Detlovs, Vilnis; Podnieks, Karlis (2021-02-07)
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 ...
Thumbnail

Introduction to Mathematical Logic (Edition 2017) 

Podnieks, Karlis (2017-05-24)
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 ...
Thumbnail

Introduction to Mathematical Logic (Edition 2014) 

Detlovs, Vilnis; Podnieks, Karlis (2014-08-25)
Hyper-textbook for students. This is Edition 2014. ATTENTION! New Edition 2021 available at https://dspace.lu.lv/dspace/handle/7/53914

University of Latvia
Контакты | Отправить отзыв
Theme by 
@mire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

Войти

Discover

АвторуPodnieks, Karlis (7)Detlovs, Vilnis (2)Borzovs, Juris (1)Dosbergs, Dainis (1)Podnieks, Kārlis (1)Zeps, Dainis (1)Šmite, Darja (1)Темеmathematical logic (5)MATHEMATICS (3)foundations of mathematics (2)model theory (2)predicate logic (2)propositional logic (2)resolution method (2)логика (2)основания математики (2)платонизм (2)... View MoreDate Issued2020 - 2021 (1)2010 - 2019 (5)2000 - 2009 (1)1990 - 1999 (2)1981 - 1989 (1)

University of Latvia
Контакты | Отправить отзыв
Theme by 
@mire NV