Kategooria:Õpik: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
Resümee puudub
22. rida: 22. rida:


* [[Media:loogikasissejuhatus_raamat.html|Loogika aine ja ajalugu]]
* [[Media:loogikasissejuhatus_raamat.html|Loogika aine ja ajalugu]]
* S. Reeves, M. Clarke. [http://www.cs.waikato.ac.nz/~stever/LCS.pdf Logic for Computer Science] - pdf.
* J. Gallier [http://www.cis.upenn.edu/~jean/gbooks/logic.html Logic for Computer Science: Foundations of Automatic Theorem Proving] - ps, pdf.


'''Valik muudest õpikutest:'''
'''Valik muudest õpikutest:'''

Redaktsioon: 1. september 2005, kell 13:58

Siit lehelt leiad saiti kogutud konkreetseid õpikuid. (lisaks õpikutele on saidil veel juhendeid, kursusi ja muud tüüpi materjale).

Teemade kaupa otsimiseks mine hoopis esilehele ja vali sealt sobiv teema (arvutiteadus, tarkvara vms) ja alamteema.


Valik programmeerimisõpikuid:

Valik masinalähedase programmeerimise õpikuid

Valik teooriaõpikuid:

Valik muudest õpikutest:


Järgnevas on toodud õpikud, mis on otse siia saiti üles laetud ja õpikuna kategoriseeritud:

Failid kategoorias "Õpik"

Järgmised 3 faili on selles kategoorias (kokku 3).