Datorikas fakultāte / Faculty of Computing
Permanent URI for this community
Browse
Browsing Datorikas fakultāte / Faculty of Computing by Issue Date
Now showing 1 - 20 of 2986
Results Per Page
Sort Options
- ItemЛокально-глобальный анализ строений обыкновенных графов(1976) Ķikusts, Paulis
- ItemАвтоматическое построение полных систем примеров(1977) Bičevskis, Jānis
- ItemСравнение детерминированных и вероятностых стратегий синтеза прогррамм(1978) Podnieks, Kārlis
- ItemВокруг теоремы Геделя(Latvia State University, 1981) Podnieks, KarlisПроведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции. См. также 2е издание: Подниекс К. М. Вокруг теоремы Геделя. – Рига: 1992ю
- ItemVarbūtības. Mācību grāmata vidusskolām.(Rīga, 1992) Podnieks, KārlisSaturs. 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.
- ItemВокруг теоремы Геделя(Рига: Зинатне, 1992) Podnieks, KarlisПроведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологи- ческой концепции.
- ItemAlgorithmic problems in analysis of real time system specifications(1992) Čerāns, Kārlis
- ItemMethodological consequences of Gödel's incompleteness theorem(1992-03) Podnieks, Karlis
- ItemVispārizglītojošo vidusskolu informātikas pamatkursa dažu tēmu programmnodrošinājums(1993) Vītiņš, Māris
- ItemAutomation of testing, specification languages and CASE tools(1997) Kalniņš, Audris
- ItemInductive inference and constructive ordinals(1997) Ambainis, Andris
- ItemLearning from different teachers and imperfect queries(1998) Kriķis, Mārtiņš
- ItemInformācijas tehnoloģijas disciplinēšana Latvijā(1999) Borzovs, Juris
- ItemClosedness properties in inductive inference(1999) Smotrovs, Juris
- ItemQuantum automata and quantum computing(2002) Golovkins, Marats
- ItemProgrammatūras izstrādes procesa diagnosticēšana un attīstīšana(2003) Apine, Baiba
- ItemInformācijas sistēmu integrācijas problēmas(2004) Karnītis, Ģirts
- ItemAlgorithms for visualization of graph-based structures(2004) Freivalds, Kārlis
- ItemInformācijas apstrādes rīku izveide neviendabīgai un dinamiskai videi(2004) Arnicāns, Guntis
- ItemInformācijas tehnoloģijas nozares tiesību un standartu pamati(LU Apgāds, 2005) Šmite, Darja; Dosbergs, Dainis; Borzovs, JurisFundamentals of laws and standards in information and communication technology sector are presented.