Algebraic models of simple type theories: a polynomial approach
Formale Metadaten
Titel |
| |
Untertitel |
| |
Serientitel | ||
Anzahl der Teile | 56 | |
Autor | ||
Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
Identifikatoren | 10.5446/49311 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | |
Genre |
00:00
Physikalische TheorieMathematisches ModellPolynomAlgebraische ZahlTypentheorieAlgebraisches ModellMathematisches ModellFlächeninhaltFamilie <Mathematik>Divergente ReiheArithmetisches MittelKontextbezogenes SystemMailing-ListeKategorie <Mathematik>ARM <Computerarchitektur>VollständigkeitDifferenteInstantiierungMereologieKontrollstrukturXMLComputeranimation
00:48
TypentheorieDatenstrukturMereologieResultanteSchaltnetzQuick-SortKategorie <Mathematik>BildschirmmaskeModifikation <Mathematik>SubstitutionLemma <Logik>Familie <Mathematik>Framework <Informatik>DifferenteVollständige InduktionDivergente ReihePhysikalische TheorieStatistische SchlussweiseAssoziativgesetzQuellcodeVerschlingungInstantiierungFlussdiagramm
01:58
Physikalische TheorieDatenstrukturNichtlinearer OperatorNichtlineares GleichungssystemTypentheorieAdditionInstantiierungVariableTermFunktionalPrototypingSchlussregelSchnelltasteSchaltnetzKreiszylinderMultiplikationQuick-SortAlgebraische StrukturFreier ParameterGrundraumCASE <Informatik>KalkülProdukt <Mathematik>Lambda-KalkülGibbs-VerteilungKontextbezogenes SystemNatürliche ZahlTafelbild
03:19
Physikalische TheorieTypentheorieBetafunktionKartesische KoordinatenTermLambda-KalkülFunktionalAdditionDatenstrukturSchlussregelSubstitutionDifferenzkernMotion CapturingInstantiierung
03:47
Physikalische TheorieTermSubstitutionDifferenzkernBenutzerschnittstellenverwaltungssystemNichtlineares GleichungssystemSoftwaretestNichtunterscheidbarkeitNichtlinearer OperatorGrundraumCoxeter-GruppeNeuroinformatikMultiplikationDatenstrukturTermSchlussregelEliminationsverfahrenInformatikFlächeninhaltDateiformatDivergente ReiheInstantiierungNatürliche ZahlElektronische UnterschriftTypentheorieLambda-KalkülLemma <Logik>UngleichungSchnelltasteLogik erster OrdnungPartielle DifferentiationAlgebraisches ModellMereologieOrdnung <Mathematik>
05:00
TermUniverselle AlgebraDatenstrukturSchlussregelNeuroinformatikMereologieMathematisches ModellTypentheorieNatürliche ZahlNichtlineares GleichungssystemAlgebraisches ModellCoxeter-GruppeOrdnungsreduktionInformationEliminationsverfahrenElektronische UnterschriftPunktSchnelltasteTermBildschirmmaskeComputeranimation
05:39
Mathematisches ModellHalbleiterspeicherVariableDatenstrukturTypentheorieDifferenteTermSubstitutionBildschirmmaskeKontextbezogenes SystemComputeranimation
06:14
TypentheorieDatenstrukturDämon <Informatik>PrototypingFunktionalElektronische UnterschriftAllgemeine AlgebraSchnittmengePhysikalische TheorieNichtlinearer OperatorAlgebraisches ModellEinfügungsdämpfungMathematisches ModellAlgebraische StrukturFunktorQuick-SortSigma-Algebra
06:54
Lambda-KalkülProdukt <Mathematik>SchnittmengeQuick-SortTypentheorieFunktionalPrototypingWiederkehrender ZustandVariableObjekt <Kategorie>GefangenendilemmaDatenstrukturKontextbezogenes SystemGibbs-VerteilungGammafunktionKategorie <Mathematik>Eingebettetes SystemMorphismusRadikal <Mathematik>Nichtlinearer OperatorResultanteEinfache GenauigkeitKartesisches ProduktTermCoxeter-GruppeSchnitt <Mathematik>MultiplikationsoperatorInhalt <Mathematik>Design by ContractInstantiierungSoftwaretestComputeranimationVorlesung/Konferenz
08:15
TypentheorieTermFunktorKategorie <Mathematik>SchnittmengeKontextbezogenes SystemFunktionalsinc-FunktionNatürliche ZahlGammafunktionGarbentheorieQuick-SortTransformation <Mathematik>Algebraische StrukturMotion CapturingMathematikAutomatische IndexierungKonstanteAggregatzustandVorzeichen <Mathematik>
09:24
DatenstrukturKategorie <Mathematik>FunktorNichtlinearer OperatorTermSigma-AlgebraAlgebraische StrukturProgram SlicingSymmetrische AlgebraTransformation <Mathematik>Algebraisches ModellElektronische UnterschriftNatürliche ZahlGarbentheorieQuick-SortAdditionMultiplikationTypentheorieComputeranimation
10:11
TermProdukt <Mathematik>Zusammenhängender GraphDatenstrukturTermFunktorKartesische KoordinatenTypentheorieMAPNichtlinearer OperatorAlgebraische StrukturAlgebraisches ModellSubstitutionSigma-AlgebraSampler <Musikinstrument>MinimumMultiplikationsoperatorPrototypingKonstruktor <Informatik>
10:59
DatenstrukturMereologieTypentheorieQuick-SortMathematisches ModellVariableVideokonferenzMultifunktionPhysikalische TheorieVertauschungsrelationProjektive EbeneSubstitutionAlgebraisches ModellKontextbezogenes SystemTermMAPSystem FCoxeter-GruppeComputerspielDatenstrukturTopologieElektronische UnterschriftGruppenoperationAlgebraisch abgeschlossener KörperZahlenbereichAdditionNatürliche ZahlDivergente ReihePay-TVBildschirmmaskeKategorie <Mathematik>RechenwerkInstantiierungKonditionszahlTransformation <Mathematik>GefangenendilemmaMaßerweiterungEinbettung <Mathematik>Einfache GenauigkeitÄquivalenzklasseLemma <Logik>GarbentheorieProgram SlicingSchnittmengeFunktorNichtlinearer OperatorZweiPotenz <Mathematik>Element <Gruppentheorie>Gammafunktion
13:23
Mathematisches ModellKontextbezogenes SystemTypentheorieTermMathematisches ModellDatenstrukturKontextbezogenes SystemSubstitutionFunktorElektronische UnterschriftSymmetrische AlgebraKategorie <Mathematik>PolynomHomomorphismusMultifunktionNichtlineares GleichungssystemGanze FunktionResultanteOffice-PaketDivergente ReiheAlgebraisches ModellGefangenendilemmaOrtsoperatorKlasse <Mathematik>Computeranimation
14:21
Lemma <Logik>DatenstrukturKategorie <Mathematik>TermFamilie <Mathematik>TypentheorieFramework <Informatik>TheoremResultanteMultifunktionOrtsoperatorKategorizitätStatistische SchlussweiseÄquivalenzklasseMathematisches ModellAlgebraische StrukturLemma <Logik>SubstitutionLambda-KalkülKlasse <Mathematik>HomomorphismusGanze FunktionFormale SpracheKartesisches ProduktModallogikBildschirmmaskePhysikalische TheorieGrenzschichtablösungDivergente ReiheMotion CapturingMetropolitan area networkSchnitt <Mathematik>AssoziativgesetzFontKonstruktor <Informatik>GruppenoperationKalkülARM <Computerarchitektur>JSON
16:03
Physikalische TheorieDämon <Informatik>TypentheorieFramework <Informatik>MereologiePolynomStatistische HypothesePunktArithmetischer AusdruckFormale SemantikFunktorElektronische UnterschriftLuenberger-BeobachterSchlussregelNatürliche ZahlKlasse <Mathematik>FontKontextbezogenes SystemDivergente ReiheSystem FKonstruktor <Informatik>Shape <Informatik>Automatische IndexierungDimensionsanalyseGeradeComputeranimation
17:09
PolynomPolynomAutomatische IndexierungKategorie <Mathematik>Shape <Informatik>DiagrammProdukt <Mathematik>PunktSummierbarkeitKonstruktor <Informatik>Kontextbezogenes SystemSchlussregelAbgeschlossene MengeComputerunterstützte ÜbersetzungTopologieProgram SlicingSchnitt <Mathematik>DatensatzStellenringComputeranimation
17:55
PolynomVariableKategorie <Mathematik>Produkt <Mathematik>KoeffizientProgram SlicingFunktorSummierbarkeitSchlussregelFunktionalTafelbild
18:39
SchlussregelPolynomTypentheorieSchlussregelProdukt <Mathematik>Kategorie <Mathematik>MereologieMAPAlgebraisches ModellNatürliche ZahlZusammenhängender GraphFunktorAlgebraische StrukturZweiLambda-KalkülSchnittmengePunktMeterVariableEin-AusgabeProjektive EbeneGrundraumNichtlinearer OperatorRechter WinkelSchnelltasteCASE <Informatik>QuellcodeVertauschungsrelationGruppenoperationTafelbild
20:55
SchlussregelDatenstrukturKonstruktor <Informatik>Natürliche ZahlMathematisches ModellVertauschungsrelationQuadratzahlAlgebraisches ModellFunktorNichtlinearer OperatorProdukt <Mathematik>TypentheorieTermMultiplikationsoperatorSchlussregelKalkülFunktional
21:49
SchlussregelTypentheorieEin-AusgabeZusammenhängender GraphPolynomKontextbezogenes SystemProjektive EbeneVariableLambda-KalkülSchlussregelMAPProdukt <Mathematik>TermMeta-TagCASE <Informatik>MultiplikationsoperatorNatürliche ZahlSchnittmengeFunktionalOrdnungsreduktionDatenstrukturDifferenteAlgebraisches ModellGarbentheorieFunktorMereologieNichtlinearer OperatorQuick-SortKalkülMatchingMaterialisation <Physik>Reelle ZahlGrundraumAutomatische HandlungsplanungSchnelltasteMathematikMaßerweiterungPunktTafelbild
23:52
SchlussregelTermVariableKonstruktor <Informatik>DatenstrukturMAPMaßerweiterungNichtlinearer OperatorKontextbezogenes SystemTypentheorieSchlussregelLambda-KalkülPolynomBetrag <Mathematik>Natürliche ZahlGarbentheoriePotenz <Mathematik>OrdnungsreduktionVertauschungsrelation
24:51
Framework <Informatik>PolynomLemma <Logik>GrenzschichtablösungFunktorFramework <Informatik>Algebraisches ModellPolynomFormale SemantikTheoremOrdnungsreduktionSchlussregelPerspektiveNatürliche ZahlTypentheorieMathematisches ModellMeta-TagMetropolitan area networkÜberlagerung <Mathematik>Gleitendes MittelDivergente ReiheComputeranimation
Transkript: Englisch(automatisch erzeugt)