Edasipääsuta leheküljed

Järgmised leheküljed ei viita ühelegi teisele Lambda leheküljele.

Allpool näidatakse 50 tulemust vahemikus 51–100.

51. Automaatne teoreemitõestamine I
52. Azure märkmed
53. Bakalaureusetööde seminar 2013 kevadel
54. Basic authentication näited
55. BinaryTrees.txt
56. Blockchaini materjale
57. Blocks world axiom/query examples from lecture
58. Blogiprogramm
59. C juhendid
60. Cgi examples
61. Cgi koodinäiteid
62. Check.py
63. Commonsense rules development
64. Current events
65. Cyber security
66. Cyber security 2010 first year
67. Cyber security 2011 first year
68. Cyber security 2012 first year
69. Cyber security 2012 second year
70. Cyber security thesis topics
71. Data.csv
72. Details of the KR second lab in 2024
73. Details of the KR second lab in 2025
74. Dijkstra (iti0140)
75. Dijkstra server
76. Distributed systems exam 1 2025
77. Distributed systems exam 2 2025
78. Distributed systems exam 3 2025
79. Distributed systems final grades 2025
80. Dlv näiteid loengust
81. Doktoriseminar
82. Doktoriseminar: tanel
83. Draft notes for our approach to reasoning with defaults
84. Draft questionnaire for agency
85. Dummy.js
86. ENG Yachtzee punktiarvestus
87. Ecki laborite allalaadimine ja katsetamine
88. Eksamieelduse täitmine
89. Esimene (27 mai) teadmiste eksam 2026
90. Esimese (27 mai) hajussüsteemid 2026 eksami tulemused
91. Example algorithm for xml serialization of Python data
92. Examples from the live prax 16 March
93. Experiment with natural language rules, ChatGPT and ProofWriter
94. Experiment with neurosymbolic reasoning: LLM as a parser plus a symbolic reasoner: 2024
95. Experiment with neurosymbolic reasoning: LLM as a parser plus a symbolic reasoner: 2025
96. Experiment with neurosymbolic reasoning: LLM as a parser plus a symbolic reasoner for images: 2026
97. Experimental prompt for logification
98. Faili statistika (iti0140)
99. Failitöötluse näitekood pythonis
100. Feed