Indholdsfortegnelse
17 relationer: Alonzo Church, C Sharp, Datalogi, Denotation, Formelt system, Funktion (matematik), Funktionsprogrammering, JavaScript, Lambda (bogstav), Lisp, Matematiker, Matematisk logik, Parser, Programmering, Programmeringssprog, Pseudokode, Tekststreng.
- Beregnelighed
- Teoretisk datalogi
Alonzo Church
Alonzo Church (født 14. juni 1903, død 11. august 1995) var en amerikansk matematiker, som var ansvarlig for noget af det grundlæggende teoretiske datalogi.
Se Lambdakalkyle og Alonzo Church
C Sharp
C Sharp C# (udtales See-sharp på engelsk) er et multi-paradigme programmeringssprog, som omfatter imperativ, funktionel, generisk, objektorienteret (klasse-baseret) og komponent-orienterede programmeringsdiscipliner.
Datalogi
Datalogi er læren om data og behandling af data – især vha.
Denotation
Et ords denotation eller betegnelse er dets betydning eller dets abstrakte definition.
Se Lambdakalkyle og Denotation
Formelt system
Et formelt system er et system af påstande og regler, hvor man af påstandene ved hjælp af reglerne kan udlede en række sandheder.
Se Lambdakalkyle og Formelt system
Funktion (matematik)
En funktion eller afbildning er i matematisk forstand et redskab, der beskriver sammenhængen mellem en såkaldt uafhængig variabel og en anden, såkaldt afhængig variabel.
Se Lambdakalkyle og Funktion (matematik)
Funktionsprogrammering
Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.
Se Lambdakalkyle og Funktionsprogrammering
JavaScript
JavaScript (JS) er et dynamisk programmeringssprog.
Se Lambdakalkyle og JavaScript
Lambda (bogstav)
Lambda (Λ λ) er 11.
Se Lambdakalkyle og Lambda (bogstav)
Lisp
Lisp, eller LISP (forkortelse for LISt Processing) er et dynamisk typet, funktionsorienteret programmeringssprog.
Matematiker
Leonhard Euler betragtes af mange mennesker som en af de største matematikere nogensinde. Maleriet er malet af Jakob Emanuel Handmann, 1753 En matematiker er en person, som undersøger hvordan matematikken fungerer.
Se Lambdakalkyle og Matematiker
Matematisk logik
Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik.
Se Lambdakalkyle og Matematisk logik
Parser
En parser er et dataprogram (eller komponent), som analyserer en datastrøm, for at få frem en tolkning af denne i et vist formelt sprog.
Programmering
Programmering (fra oldgræsk πρόγραμμα prógramma) er en proces, som går ud på at udvikle computerprogrammer (software) til elektronisk databehandling på en computer, ofte ved hjælp af et programmeringssprog.
Se Lambdakalkyle og Programmering
Programmeringssprog
Indenfor datalogi er programmeringssprog kunstige sprog, som er designet til at udføre beregninger på en computer.
Se Lambdakalkyle og Programmeringssprog
Pseudokode
Pseudokode er en teknik til uformel skitsering af et computerprogram.
Se Lambdakalkyle og Pseudokode
Tekststreng
Tekststreng, fra string, bruges i sammenhæng med programmering og skriptsprog, og betegner en sekvens (string, dvs. tråd eller streng) af tegn.
Se Lambdakalkyle og Tekststreng
Se også
Beregnelighed
- Beregnelige tal
- Beregnelighed
- Church-Turing-tesen
- Enumerator
- Halting-problemet
- Lambdakalkyle
- Turingmaskine
Teoretisk datalogi
- Algoritme
- Automatiseret ræsonnement
- Formalsprog
- Idempotent
- Kvantedatabehandling
- Lambdakalkyle
- Turingmaskine
Også kendt som Lambda-kalkulus, Lambda-kalkylen.