Nyttige verktøy
Detexify - LaTeX symbol classifier
Tegn inn symbolet du vil plotte ned i LaTeX-artikkelen din, og Detexify finner LaTeX-koden.
Duck Duck Go
Søkemotor med mange muligheter. Gir ikke bort informasjon om søk og andre nettvaner slik som eksempelvis Google.
Rubular regex-editor
Her kan du skrive inn regulære uttrykk (Perl-style) og fritekst, og se hvilke deler av teksten uttrykket treffer. Du får også opp en fin liste over matches når du bruker parenteser i uttrykket. Meget nyttig.
Nyttige online-bøker
Picking up Perl
En innføringsbok i Perl for folk som kan programmering fra før. Perl er et språk det er praktisk å kunne hvis man skal hente ut eller lagre informasjon i tekstfiler, både pga innebygd støtte for regulære uttrykk og rett-frem måte å åpne og lukke filer.
Andre nyttige ressurser
Cartoon Guide to Löbs Theorem
Av Eliezer Yudowsky. En kortfattet og forståelig(!!!) innføring i Löbs theorem.
Prokrastinering
xkcd
"A webcomic of romance, sarcasm, math, and language."
Hyperbole and a Half
Bloggen til Allie.
Andre studenthjemmesider
tobiasvl
Hjemmesiden til Tobias V. Langhoff, en meget aktiv student.
emanuel
Hjemmesiden til Emanuele Lapponi, en italiener i kalde Norge som skriver om sentiment-analyse!
Forskere
Lilja Øvrelid
Førsteamanuensis ved forskningsgruppen Logikk og naturlige språk, Institutt for Informatikk, UiO.
Herman Ruge Jervell
Professor ved Logikk og naturlige språk, IFI, UiO
Erik Velldal
Post doktor ved Logikk og naturlige språk, IFI, UiO
Asbjørn Brændeland
Amanuensis, Logikk og naturlige språk, IFI, UiO