Inhoudsopgave
25 relaties: Anamorfisme, Aristoteles, Binaire operatie, Catamorfisme, Datastructuur, Duale (categorietheorie), Element (wiskunde), Faculteit (wiskunde), Fold, Functiecompositie, Functioneel programmeren, Haskell (programmeertaal), Informatica, Isomorfisme, Lijst (informatica), Ontbossing (informatica), Oudgrieks, Plaatsigheid, Predicatenlogica, Product (wiskunde), Programmeertaal, Recursie, Returnwaarde, Rij van Fibonacci, Sommatie.
- Categorietheorie
Anamorfisme
Een anamorfisme is een concept uit het functioneel programmeren dat gegrond is in de categorietheorie.
Bekijken Hylomorfisme (informatica) en Anamorfisme
Aristoteles
Rafaël Aristoteles (Oudgrieks: Ἀριστοτέλης, Aristotélēs) (Stageira, 384 v.Chr. – Chalkis, 322 v.Chr.) was een Griekse filosoof en wetenschapper die met Socrates en Plato wordt beschouwd als een van de invloedrijkste klassieke filosofen in de westerse traditie.
Bekijken Hylomorfisme (informatica) en Aristoteles
Binaire operatie
In de wiskunde is een binaire operatie een bewerking waarbij twee operanden betrokken zijn, met andere woorden een operatie met plaatsigheid twee.
Bekijken Hylomorfisme (informatica) en Binaire operatie
Catamorfisme
Het concept van een catamorfisme is gegrond in de categorietheorie en is toegepast in het functioneel programmeren.
Bekijken Hylomorfisme (informatica) 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 Hylomorfisme (informatica) en Datastructuur
Duale (categorietheorie)
In de categorietheorie, een deelgebied van de wiskunde, is dualiteit een correspondentie tussen de eigenschappen van een categorie C en de zogenaamde duale eigenschappen van de tegenovergestelde categorie Cop.
Bekijken Hylomorfisme (informatica) en Duale (categorietheorie)
Element (wiskunde)
In de verzamelingenleer is een element een onderdeel van een verzameling of, meer algemeen, van een klasse.
Bekijken Hylomorfisme (informatica) en Element (wiskunde)
Faculteit (wiskunde)
De faculteit van een natuurlijk getal n, genoteerd als n! (n faculteit), is het product van de getallen 1 tot en met n: Recursief geldt dus voor de faculteit: Voor bijvoorbeeld n.
Bekijken Hylomorfisme (informatica) en Faculteit (wiskunde)
Fold
In functionele programmeertalen is een fold (of reduce) een hogere-ordefunctie waarmee een recursieve datastructuur geanalyseerd kan worden.
Bekijken Hylomorfisme (informatica) en Fold
Functiecompositie
Functiecompositie g \circ f van de functies f en g, bijvoorbeeld is (g \circ f)(3).
Bekijken Hylomorfisme (informatica) en Functiecompositie
Functioneel programmeren
In de informatica is functioneel programmeren een programmeerstijl en een programmeerparadigma.
Bekijken Hylomorfisme (informatica) en Functioneel programmeren
Haskell (programmeertaal)
Haskell is een functionele programmeertaal vernoemd naar de wiskundige Haskell Brooks Curry.
Bekijken Hylomorfisme (informatica) 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 Hylomorfisme (informatica) en Informatica
Isomorfisme
In de abstracte algebra, een deelgebied van de wiskunde, is een isomorfisme of isomorfie, van het Griekse: ἴσος, isos, gelijk en μορφή, morphē, vorm, een bijectie f zodat zowel f als de inverse f^ ervan homomorf zijn, dat wil zeggen, structuurbewarende afbeeldingen.
Bekijken Hylomorfisme (informatica) en Isomorfisme
Lijst (informatica)
In de informatica is een lijst (Engels: list) een lineaire datastructuur.
Bekijken Hylomorfisme (informatica) en Lijst (informatica)
Ontbossing (informatica)
In de theorie van de programmeertalen in de informatica is ontbossing (ook bekend als fuseren) een programmatransformatie om boomstructuren te verwijderen.
Bekijken Hylomorfisme (informatica) en Ontbossing (informatica)
Oudgrieks
Oudgrieks,, hē Hellēnikē glōtta, is een verzamelnaam (omdat er geen 'hoofdtaal' was) voor de dialecten die in het oude Griekenland, Ionië en in de Griekse kolonies werden gesproken.
Bekijken Hylomorfisme (informatica) en Oudgrieks
Plaatsigheid
De plaatsigheid of ariteit van een relatie of een functie is het aantal argumenten of operanden van die relatie of functie.
Bekijken Hylomorfisme (informatica) en Plaatsigheid
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Bekijken Hylomorfisme (informatica) en Predicatenlogica
Product (wiskunde)
In de wiskunde is een product het resultaat van een vermenigvuldiging of een uitdrukking die de vermenigvuldiging van de factoren laat zien.
Bekijken Hylomorfisme (informatica) en Product (wiskunde)
Programmeertaal
Python. Een programmeertaal is een formele taal waarin de opdrachten die een computer moet uitvoeren, worden geschreven.
Bekijken Hylomorfisme (informatica) en Programmeertaal
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 Hylomorfisme (informatica) en Recursie
Returnwaarde
De returnwaarde is de waarde (het resultaat, de uitkomst) die een functie in de informatica geeft.
Bekijken Hylomorfisme (informatica) en Returnwaarde
Rij van Fibonacci
De rij van Fibonacci is genoemd naar Leonardo van Pisa, bijgenaamd Fibonacci, zoon van Bonaccio, van Guglielmo dei Bonaccio.
Bekijken Hylomorfisme (informatica) en Rij van Fibonacci
Sommatie
Sommatie is het optellen van een groep getallen, het resultaat hiervan is de som of het totaal.
Bekijken Hylomorfisme (informatica) en Sommatie
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