Inhoudsopgave
13 relaties: Algoritme, Anamorfisme, Catamorfisme, Datastructuur, Eindige verzameling, Haskell (programmeertaal), Informatica, Lineaire tijd, Luie evaluatie, Oneindigheid, Primitief recursieve functie, Recursie, Rij van Fibonacci.
- Categorietheorie
- Functioneel programmeren
- Theoretische informatica
Algoritme
Algoritme om een willekeurig veelvlak in driehoeken op te delen (in het algemeen heeft dit probleem meerdere oplossingen, de bereikte oplossing hangt dus af van het gebruikte algoritme) Een algoritme is een stappenplan bestaande uit een set regels in vaste volgorde om tot een oplossing te komen en het einddoel te bereiken.
Bekijken Corecursie en Algoritme
Anamorfisme
Een anamorfisme is een concept uit het functioneel programmeren dat gegrond is in de categorietheorie.
Bekijken Corecursie en Anamorfisme
Catamorfisme
Het concept van een catamorfisme is gegrond in de categorietheorie en is toegepast in het functioneel programmeren.
Bekijken Corecursie en Catamorfisme
Datastructuur
Een datastructuur is in de informatica een manier waarop de elementen (in dit verband ook wel componenten, delen of items genoemd) van een samengestelde variabele samenhangen.
Bekijken Corecursie en Datastructuur
Eindige verzameling
Een eindige verzameling is in de verzamelingenleer, een deelgebied van de wiskunde, een verzameling met een eindig aantal elementen.
Bekijken Corecursie en Eindige verzameling
Haskell (programmeertaal)
Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry.
Bekijken Corecursie en Haskell (programmeertaal)
Informatica
Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.
Bekijken Corecursie en Informatica
Lineaire tijd
In de complexiteitstheorie kan een algoritme in lineaire tijd of O(n) uitgevoerd worden als de benodigde tijd lineair afhangt van de grootte van de invoer.
Bekijken Corecursie en Lineaire tijd
Luie evaluatie
In programmeertalen is luie evaluatie (in het Engels: lazy evaluation) een evaluatie-strategie.
Bekijken Corecursie en Luie evaluatie
Oneindigheid
115px Oneindigheid staat in de betekenis van niet-eindig tegenover het begrip eindig.
Bekijken Corecursie en Oneindigheid
Primitief recursieve functie
In de theoretische informatica vormen de primitief recursieve functies een klasse van totale, berekenbare functies.
Bekijken Corecursie en Primitief recursieve functie
Recursie
Recursie (Latijn: recurrere, 'teruglopen') is het optreden van een opeenvolging van constructies waarvan elk afzonderlijk gebaseerd is op een of meer soortgelijke voorgaande constructies.
Bekijken Corecursie en Recursie
Rij van Fibonacci
De rij van Fibonacci is genoemd naar Leonardo van Pisa, bijgenaamd Fibonacci, zoon van Bonaccio, van Guglielmo dei Bonaccio.
Bekijken Corecursie en Rij van Fibonacci
Zie ook
Categorietheorie
- Anamorfisme
- Catamorfisme
- Categorie (wiskunde)
- Categorietheorie (wiskunde)
- Cokern
- Commutatief diagram
- Concrete categorie
- Corecursie
- Deelcategorie
- Duale (categorietheorie)
- Endomorfismenring
- Equivalentie (categorietheorie)
- Groepoïde (categorietheorie)
- Grothendieck-categorie
- Hylomorfisme (informatica)
- Inbedding
- Kegel (categorietheorie)
- Kern (categorietheorie)
- Monoïde
- Sectie (groepentheorie)
- Tegenovergestelde categorie
- Verrijkte categorie
Functioneel programmeren
- Algebraïsch datatype
- Anonieme functie
- Brouwer-Heyting-Kolmogorovinterpretatie
- Catamorfisme
- Corecursie
- Functioneel programmeren
- Hogere-ordefunctie
- Neveneffect
- Patroonvergelijking
- Polymorfisme (informatica)
- Simon Peyton Jones