5th HLF – Interviews with mathematics and computer science laureates: Sir C. Antony R. Hoare
This is a modal window.
Das Video konnte nicht geladen werden, da entweder ein Server- oder Netzwerkfehler auftrat oder das Format nicht unterstützt wird.
Formale Metadaten
Titel |
| |
Serientitel | ||
Anzahl der Teile | 49 | |
Autor | ||
Lizenz | Keine Open-Access-Lizenz: Es gilt deutsches Urheberrecht. Der Film darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. | |
Identifikatoren | 10.5446/40124 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | ||
Genre | ||
Abstract |
|
00:00
Elektronisches ForumComputerMathematikFormation <Mathematik>Computeranimation
00:16
Elektronisches ForumHoare-LogikTuring-TestAngewandte PhysikFokalpunktKartesische KoordinatenJSONXMLUMLComputeranimationBesprechung/Interview
01:50
Hoare-LogikTuring-TestQuick-SortLateinisches QuadratInformatikFakultät <Mathematik>Exogene VariableWort <Informatik>Turing-TestBitGeradeSpieltheoriet-TestFehlermeldungDatenfeldSymboltabelleMathematikSchiefe WahrscheinlichkeitsverteilungInformatikerCoxeter-GruppeMereologieVorhersagbarkeitMultiplikationsoperatorBeweistheorieMinimalgradsinc-FunktionMathematikerTotal <Mathematik>EinsGenerator <Informatik>Russell, BertrandMcCarthy, JohnNeuroinformatikBesprechung/Interview
08:21
Hoare-LogikTuring-TestPhysikalische TheorieGrundlagen der MathematikKategorie <Mathematik>Algebraisches ModellInnerer PunktZweiMathematische LogikÄquivalenzklasseNichtlinearer OperatorPhysikalisches SystemOptimierungDifferenzkernDimensionsanalyseArithmetisches MittelFormale SemantikMultiplikationsoperatorFormale SpracheAbstraktionsebeneRichtungAusnahmebehandlungDeterminanteUngleichungPoisson-KlammerSoftwareentwicklerProgrammierspracheBeweistheorieMereologieGesetz <Physik>Numerische MathematikGeradeBasis <Mathematik>AssoziativgesetzUmwandlungsenthalpieRekursionstheorieSchlussregelVorhersagbarkeitHecke-OperatorExpertensystemNichtlineares GleichungssystemNeuroinformatikExogene VariableHoare-LogikDatenstrukturMultiplikationTeilbarkeitBesprechung/Interview
14:52
Hoare-LogikTuring-TestDruckverlaufProgrammiergerätGrundraumResultanteMultiplikationsoperatorAbgeschlossene MengePaarvergleichGüte der AnpassungQuick-SortReelle ZahlComputerspielVollständiger VerbandMAPDruckspannungTeilmenget-TestVirtuelle MaschineOptimierungPhysikalischer EffektBesprechung/Interview
18:44
Elektronisches ForumMathematikComputerFormation <Mathematik>MultiplikationsoperatorComputeranimation
19:05
JSON
Transkript: Englisch(automatisch erzeugt)