Посмотр Datorikas fakultāte / Faculty of Computing по дате публикации

Локально-глобальный анализ строений обыкновенных графов

Ķikusts, Paulis (1976)

Автоматическое построение полных систем примеров

Bičevskis, Jānis (1977)

Сравнение детерминированных и вероятностых стратегий синтеза прогррамм

Podnieks, Kārlis (1978)

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

Podnieks, Karlis (Latvia State University, 1981)

Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. ...

Algorithmic problems in analysis of real time system specifications

Čerāns, Kārlis (1992)

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

Podnieks, Karlis (Рига: Зинатне, 1992)

Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического ...

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 ...