Was ist Informatik? Raimond Reichert Was ist Informatik?



Yüklə 3,99 Mb.
tarix08.08.2018
ölçüsü3,99 Mb.
#61972


Was ist Informatik? Raimond Reichert


Was ist Informatik?



Was ist Informatik? Woher soll ich das wissen?!



The unusual suspect! oder: das Gute liegt so nah...



Informatik scheibchenweise: der Informatik-Turm!





Anwendungen: das „Gesicht“ der Informatik!



Anwendungen: das „Gesicht“ der Informatik!



Und überhaupt: wer kann da noch mithalten?



Wirkliches Problem - Umgang mit Komplexität



Hier braucht es bereits gewisse Fertigkeiten und Schulung



Hier ist man vollends aufgeschmissen



Komponenten von IT Systemen





Drei Komponenten eines Computers!



Anwendungen: was tun Informatiker hier?





System-Realisierung: Achtung, Baustelle!



Informatik als Ingenieur-Tätigkeit: noch jung...



Realisieren Sie ein Möbelverkaufssystem!



Gar nicht so einfach!



Tja, und da helfen Grundlagenkenntnisse!



System-Realisierung: was tun Informatiker hier?



System-Realisierung: Programmiersprachen



System-Realisierung: Programmiersprachen

  • 2.PAK 20-GATE 3-LISP 473L Query 9PAC *LISP *MOD A# A+ A0 or A-0 AACC AADL ABC ABC ALGOL ABCL/1 ABCL/c+ ABCL/R ABCL/R2 Abel ABLE ABSET ABSYS 1 Accent Access ACL ACOM ACOS ACP ACT++ ACT ONE Act1 Act2 Act3 Actalk Active Language I Actor Actors Actra Actus Ada Ada-83 Ada 9X Ada++ Ada' ADAM Ada-O Adaplex ADAPT AdaTran ADELE ADES ADL AdLog ADM ADS ADVSYS AE AED Aeolus AESOP AFAC AGORA AHDL AHPL AID AIDA AIMACO AGP-L AKCL AKL AL ALADIN ALAM A-language ALC Alcool-90 ALCOR Aldat ALDES ALDiSP ALEC ALEF ALEPH Alex Alexis ALF Alfl ALGEBRAIC ALGOL 58 ALGOL 60 ALGOL 60 Modified ALGOL 60 Revised ALGOL 68 ALGOL 68-R ALGOL 68 Revised ALGOL 68C ALGOL 68RS ALGOL 68S ALGOL C ALGOL D ALGOL N ALGOL W ALGOL X ALGOL Y ALGY ALIAS ALJABR ALLOY ALM ALP ALPAK ALPHA Alphard ALPS ALTAC ALTRAN Amber AMBIT AMBIT/G AMBIT/L AMBIT/S AMBUSH AML AML/E AMP AMPL AMPLE AMPPL-II AMTRAN ANCP ANDF Andorra-I Andorra-Prolog Animus Anna ANTLR APAL APAREL APDL APESE APL APL2 APLGOL APPLE AppleScript Applesoft BASIC APPLOG APT APX III AQL ARCHI Arctic ARES Ariel Argus Ariel ARITH-MATIC ART ARTSPEAK ASDIMPL ASDL ASF Ashmedai ASIS ASF ASL ASM ASN.1 ASP ASpecT ASPOL ASPEN ASPIK Aspirin ASPLE ASSEMBLY ASTAP Astral AT-3 ATLAS Atlas Autocode Atlas Commercial Language ATOLL A'UM Aurora Autocode AUTOGRAF AUTOGRP Autolisp AUTOMATH Autopass AUTO-PROMPT Autostat AVA Avalon/C++ Avalon/Common LISP Avon AXIOM AXIS AXLE AWK B B-0 Babbage BABEL BABYLON BACAIC BAL BALGOL BALITAC BALM BAP Baroque BASCMP bash BASIC BASIC AUTOCODER Basic COBOL Basic FORTRAN Basic JOVIAL bawk bc BC NELIAC BCL BCPL BDL BeBOP BEGL BELL BER Bertrand BETA BIOR BLAZE BLAZE 2 Blazon B-LINE BLISS BlooP Blosim BLOX Blue BMASF BMDP BMF BNF BNR Pascal BNR Prolog Bob BOEING Booster BOPL BOSS Boxer BRAVE BRIDGE Bridgetalk Brilliant BRUIN bs BSL BUGSYS Burge's Language Butterfly Common LISP Butterfly Scheme byacc C C* C++ C++Linda C+@ C-10 C with Classes CADET CAFE CAGE CAJOLE CAL Caliban Calico CAMAL Camelot Library CAMIL CAML CAML Light Candle Cantor CASE SOAP III CAT CATO C/ATLAS CAYLEY CBASIC cc CC++ CCalc CCL CCLU CCP CCS CCSP CDIF CDL Cecil Cedar CEEMAC+ CELIP CELLAS CELLSIM CELP CESP CESSL CFD CFP CGGL CGOL CHAMIL CHARITY CHARM CHARM++ Charme CHARYBDIS CHASM CHI CHILI CHILL CHIP CHIP-48 CHIP-8 CHISEL CHOCS CIAL CIEL CIF Cigale CIL CIMS PL/I CIP-L CIRCAL CITRAN CL CLAM Clarion CLASP Classic-Ada Clean CLEAR CLEO C-Linda CLIP Clipper CLIPS CLISP CLIX Clock CLOS CLP CLP(R) CLP* CLP(sigma*) CLU Cluster 86 CMAY CML Cmm CMS-2 CO2 COALA COBOL COBOL-1961 Extended CoCoA Cocol Code 2.0 CODIL COFF COGENT COGO Coherent Parallel C COIF COLASL COLD COLD-K COLINGO COMAL COMIT COMIT II Comma COMMEN Commercial Translator Common LISP CommonLoops Common Objects Compact COBOL Compas Pascal COMPASS Compel Compiler-Compiler COMPL COMPREHENSIVE COMPROSL Computer Animation Movie Language Computer Compiler Computer Design Language COMSL COMTRAN ConC Concert/C CONCUR Concurrent Aggregates (CA) Concurrent C Concurrent C++ Concurrent Clean Concurrent CLU Concurrent Euclid Concurrent LISP Concurent Oberon Concurrent Pascal Concurrent Prolog Concurrent Scheme ConcurrentSmalltalk condela CONIC Connection Machine LISP CONNIVER ConstraintLisp CONSTRAINTS Consul CONVERT cooC COOL CORAL CORBIE CORC Coroutine Pascal CORREGATE Correlatives and Conversions CORTL Coursewriter III COWSEL CP CParaOps5 CPL CPS C-Refine CRISP CRL CROSSTABS Crystal CS-4 CS-Prolog C-Scheme csh CSL CSM CSMP CSP CSP/80 CS/PCode CSP/k CSP-S CSPS CS/QCode CSS/II CSSA CSSL CSTools CTL Cube CUCH Culler-Fried System CUPID CuPit CUPL CWIC CYBIL CYCL CypherText D DACAPO DACTL DAD Daisy DAISY 201 DAP-16 DAP Fortran DAPLEX DARE Darms Dartmouth BASIC DAS DASL Data/BASIC DATABUS DATACODE I Dataparallel-C Data Parallel Haskell Data Structures Language DATA-TEXT DataVis dBASE DBC dBFAST DBPL dBXL dc DCALGOL DCDL DCG DCL DDL DDM DEACON Delirium Delta Delta-Prolog DEMON Design System language DETAB DETOL Deva DEX DFC DG/L DIALECT DIALOG DIAMAG Diamond DIANA DIBOL Dictionary APL Dijkstra's guarded command language DIMATE DinnerBell DINO Disiple Dislang Distributed Eiffel Distributed Processes Distributed Smalltalk DL/1 DLG DLP DLX DMAD DMALGOL DML Doc DOCUS DoD-1 DOUGLAS DOL DOVPA DOW COMPILER DOWL d-Prolog DPL DPL-82 DPS dpSather draco DRAGON DRAGOON DROOL DRUCO I DSL DSM DSP/C DSP32 Assembly Language DSPL DTALGOL DUAL-607 Dual FCP DuoTalk Durra DYANA Dylan Dynace DYNAMO DYSAC DYSTAL E Eagle Ease EASE II EASIAC EASY FOX EBASIC EBNF ECAP II Echidna ECL ECMA ECP ECRC-Prolog ECSL ECSP ECSS II ECSSL Eden EDIF Edinburgh Prolog Edison EDL EFL Eh Eiffel Eiffel 3 EL1 el(alpha) Elan ELF ELI ELISP Elk ELLA ELLA 2000 Ellie ELLIS ELMAGUIDE ELMAMETA ELP ELSIE EM-1 EMA EMACS LISP Emerald EML EMPL English EOL EPILOG EPL EPROS EPSILON EPSIMONE EqL EQLog Eqn Equel Erlang ERFPI es ES-1 ESCAPE ESI esim ESP ESPOL Estelle Esterel ET ET++ ETC ETHER Euclid EULER EuLisp Euphoria Eurisko Eva EXAPT EXEC EXEC2 expect Express Extended ALGOL Extended C++ Extended ML Extended Pascal EXTRA EZ FAC Facile FACT FAD FAIR FALSE FAP FAS FASBOL FASE FAST FC F-code FCP Feel FEL FFP FGHC FGL FGL+LV FGRAAL FIDIL FIDO Fifth File Composition F+L FL FLAIR FLAP Flavors Fleng FLEX Flex 2 FLIC FLIP FLIP-SPUR F-Logic FLOP FlooP FLOW-MATIC or FLOWMATIC FLPL FLUB FMPL FOCAL FOCL FOCUS FOIL foogol FOOL FOOP FORC Force The Force ForceOne ForceTwo FORM FORMAC FORMAL FORMAT-FORTRAN Formes FORML Formula Formula ALGOL Fornax Forsythe FORTH FORTRAN FORTRAN I FORTRAN II FORTRAN III FORTRAN IV FORTRAN V FORTRAN VI FORTRAN 66 FORTRAN 77 Fortran 90 Fortran D Fortran-Linda Fortran M FORTRAN-Plus FORTRANSIT FORTRUNCIBLE FOSIL FoxBASE+ FoxPRO FP FP2 FP/M FQL FrameKit FRANK Franz Lisp FRED Fresco Fresh FRINGE FRL FRMT-FTRN FSL FSMDL Fugue Fun FUNLOG FX-87 FX-90 G Gabriel GADS Gaelic Galaxy Galileo Gambit GAMMA GAN GAP GAPLog Gargoyle GARP GASP GAT GATE Gauss Gawk GCL G-Code GDPL GEA GECOM Gedanken GEL General Purpose Graphic Language Gentleman's Portable Coroutine System GEORGE GEPURS Gerald GEST GHC Gia-2 GIM-1 GIN5 Ginger GIP GIRL GKS GL Glammar GLASS Glenda Glish Glisp GLOS GLOW Glypnir GMAP GMPL Goedel Gofer GOL GOM GOOD GOSPL GP GPL GPM GPSS GPX GRAAL GRAF GRAIL GRAIN GRAM Grapes Graphic ALGOL Graphic Language GRAPPLE GRASP/Ada Green GRG GRIND Groff GSBL GSL GSPL GTML GVL GW-BASIC Gypsy GYVE HAL/S HALGOL HALMAT Haskell HASL HCLP HCPRVR HDFL HDM HELP HEQS HERAKLIT Hermes HIBOL High Performance Fortran HiLog HINT HLISP HLL HOL Honeywell-800 Business Compiler HOOK Hope Hope+ Hope+C HOS-STPL HPcode HPCode-Plus HPF HP-GL HP-GL/2 HPL HSL-FX HTML HTML+ HUGO Hybrid Hyper-C Hyperscript HyperTalk HyTime IAL IAM IBEX ICES ICETRAN ICI Icon Iconicode IC-Prolog IC Prolog ][ Id IDAMS IDEA IDEAL IDL IDMS Id Nouveau IDOL IDS/I IF1 IF2 IFIP IFP IFX IGL IIS IITRAN ILIAD ILLIAC ILOC IMP Ina Jo Info BASIC INFORM Information Algebra Inglish InnovAda Input INSIGHT INTCODE INTELLECT INTERACTIVE INTERCAL INTERCOM Interlisp Intermediate Programming Language Interpress Iota IPL IPS IQ IRDATA IRL Ironman Isabelle-92 ISBL ISETL ISIS ISL ISLisp ISP ISPL ISPS ISWIM IT Ivan Iverson's Language IVTRAN J J3 J73 JACAL Jade Java JaM Janus JAZ JCL JCS-13 JEAN JOSS Jossle JOVIAL Joyce JPL JPLDIS JS JTS Juno Jym K5 Kaleidoscope Kali KAP Karel KBMS KCL K-code KEE Kernel Parlog Kevo KFX Kid KISS KL0 KL1 Klerer-May System KL-ONE KLS KMODEL KOMPILER KRC KRL KRS KRYPTON ksh L0 L6 Lace LADE LADY Lakota LAMBDA lambda-Prolog LAMINA Language H Laning and Zierler LAP LAP4 LAPSE Larch Larch/Ada Larch/CLU LaTeX LAU LAURE LAVA LAX LCC LCL LCS LDL LDL1 LDT LE/1 LEAF Lean LEAP LECOM Leda LeFun Legion LEGOL Le-Lisp Leo Lex LG LGDF LGEN LGN Liana LIDO LiE LIFE Lila LIMDEP LIMP Linc Lincoln Reckoner Linda LindaLISP Lingo LINGOL LIPL LIS LISA LISP LISP 2 LISP70 LISP A Lispkit Lisp Lisp-Linda LISP Machine LISP Lisptalk LITHE LITTLE Little Smalltalk LLM3 LM3 LML LNF L&O LO {log} LogC Logic Design Language LOGIN LOGLAN LOGLISP LOGO LOGOL LOLITA Lolli LOM LOOK LOOKS LOOPN LOOPS LOP Lore LOTIS LOTOS Lout Low-Ada LOWL LPC LPG LPL LPS LRLTRAN LSL LSYD LT-2 LTR LTR2 LTR3 Lua LUCID Lucinda Lucy LUKKO LUSTRE LYaPAS LYNX LYRIC M M3 M4 M5 M6 MAC Mac-1 MAC MAC-360 Macaulay MACE Machiavelli MACL MacLisp MACRO Macro SAP MACSYMA MAD Mad/1 MADCAP MADTRAN MAGIC Magic Paper Magma2 MagmaLISP MAGNUM Magritte MAINSAIL Maisie Make MAL MALPAS IL Manchester Autocode Mandala MAO MAP Maple MARBLE Maril Markov Marseille Prolog MARSYAS MARVIN Mary MAS MASM Massey Hope Matchmaker Mathcad Mathematica MATHLAB MATH-MATIC or MATHMATIC Matrix Compiler MATRIX MATH mawk MAXIMOP MBASIC MC McG360 MCL M-Code MCS MDL me too MELD MeldC Melinda Mentat MENTOR MENYMA/S Mercury Autocode MEROON Mesa META META 5 Meta-II Meta-IV Meta-Crystal METAFONT METAL Meta-Vlisp Met-English METEOR Methods MHDL Mic-1, Mic-2 microAPL microPLANNER microTAL MIDAS MIDL MIIS MIKE MILITRAN MIMIC MIMOLA Mini-ML Mini PL/I MINITAB II MINT Miracula Miranda MIRFAC MISHAP MITILAC MIXAL MJS ML ML-2000 MLAB ML/I MLISP ML-Linda ML Threads Mma MML MOBSSL-UAF Mock Lisp MODCAL Mode MODEF MODEL MODSIM II Modula Modula-2 Modula-2* Modula-2+ Modula-3 Modula-3* Modula-3pi Modula-P Modula-Prolog Modula/R Modular C Modular Prolog Modulex Mona MooZ MOPS MORAL MORTRAN Mouse Moxie MP-1 MPGL MPL MPL II MPPL M-Prolog MPS III MPSX MRS MSG.84 MUCAL Muddle muFP Mul-T multiC MultiLisp Multi-Pascal MultiScheme MUMPS MU-Prolog MuSimp Muse Music MUSL MYSTIC NASTRAN Napier NAPLPS NAPSS NASTRAN NATURAL Natural English Nawk NB NDL Nebula NELIAC Neon NERECO NESL NETL New Flavors NEWP NewsClip Newspeak Newsqueak Newton Nexpert Object NFQL NGL NIAL NICOL I NIKL NIL NJCL nML NODAL Noddy NOMAD Nonpareil NORC COMPILER NORD PL Nother NPL NPPL N-Prolog Nqthm Nroff NUCLEOL Nuprl NU-Prolog NYAP NYU OMNIFAX O2 Oaklisp OBE Oberon Oberon-2 Oberon-V OBJ OBJ2 OBJ3 Object CHILL Object Lisp ObjectLOGO Object Oberon Object-CHILL Object-COBOL Object-Oriented Turing ObjectPAL Object Pascal Object-Z Objective C Objlog ObjVlisp ObjVProlog Obliq Oblog OBSCURE Oc OCAL occam occam 2 occam 3 OCL OCODE Octave odl OIL OISC OLC OLDAS OLGA Omega OMNICODE OMNIFAX OMNITAB Ondine Ontic OO-CHILL OOF OOPS OOT OOZE OPAL-0 OPAL O-plan OPS OPS5 OPTRAN Orca OREGANO Orient84/K ORTHOCARTAN Orwell OSCAR O'small OSQL OSSL Ottawa Euclid OWHY OWL Ox Oz P+ P4 PABC PACT I PACTOLUS Paddle PAF PAGE PaiLisp PAISley PAL Pam Pandora PANON Paragon Paralation Paralation LISP Paralation C ParAlfl Parallaxis Parallel C Parallel FORTH Parallel Pascal Parallel SML Parasol Pari Paris Parlance Parlog Parlog++ PARMACS ParMod PARSEC Parsley PARTS PARULEL Pascal Pascal++ Pascal- Pascal-2 Pascal-80 Pascal+CSP Pascal-F Pascal-FC Pascal/L Pascal-Linda Pascal-m Pascal-P Pascal Plus Pascal/R Pascal-S Pascal-SC Pasqual PASSIM PASRO PAT Path Pascal PC pC++ PCL PCLIPS PCN P-code PC-TILES PDEL PDELAN PDIL PDL2 PDS/MaGen PEARL Pebble Pebbleman PECOS PEEL PEF PENCIL Pepper PEPsy Perl PFL Pfortran pH PHOCUS PIC Pick BASIC PICL Pictorial Janus pidgen+ PIE PIL PIL/I PILE PILOT PINBOL PIRL PIT PL-11 PL360 PL516 PL-6 PL.8 Pla PLACE PLAGO PLAIN PLAN Planet PLANIT Plankalkul PLANNER PLANS PLASMA Plasyd Platon PLAY Playground PL/C PL/I PL/I SUBSET PL/I Subset G PL/I-FORMAC Plisp PLITS PL/M PL/MP PL/P PL/PROPHET PL/S PL/Seq PLZ PLZ/ASM PLUM Plural EuLisp PLUS PLUSS PLZ PM PML PNU-Prolog POCAL POFAC POGO Polka Poly POLYGOTH Ponder POOL2 POOL-I POOL-T POP-1 POP-2 POP-10 Pop-11 POP-9X POP++ POPCORN Poplar POPLER POPLOG PopTalk Port Portable Standard Lisp PORTAL Port Language POSE POSTQUEL PostScript POSYBL PowerFuL PPL PPLambda P-Prolog PRA pre-cc PREP PRESTO PRINT PRINT I PRISM PRL Probe PROC PROCOL PROFILE PROGENY Prograph PROGRES PROJECT Prolog Prolog-2 Prolog-II Prolog-III Prolog+ Prolog++ Prolog-D-Linda Prolog-Linda PROMAL PROMELA Pronet PROOF/L Proposal Writing PROSE ProSet PROSPER ProTalk PROTEUS Protosynthex PS 440 PS-ALGOL pSather PSETL PSML P-TAC PUB PUFFT PUMPKIN PVM Python Q QA4 QBE Qlambda QLISP QLOG Q'NIAL QPE Q-systems Quake QUEASY QUEL Quest QUICK Quicksilver QUIKSCRIPT QUIKTRAN QUIN Quintec-Objects Quty QX Raddle RAIL RAISE RAL RAMIS II Rapidwrite RAPT RASP RATEL RATFIV RATFOR RAWOOP-SNAP R:BASE RBASIC RBCSP rc RCC RCL RDL Real-Time Euclid Real-Time Mentat Real-Time Pascal REC Recital RECOL Red REDCODE RediLisp REDUCE Refal REF-ARF Refine Refined C (RC) Refined Fortran (RF) REG-SYMBOLIC REGTRAL Relational Language RELATIVE RELCODE REL English RenderMan Shading Language RENDEZVOUS REPL Required-COBOL Retrieve Revised ALGOL 60 REXX Rez RIGAL Rigel RIPscrip RLL RMAG ROADS ROBEX Robotalk Roff ROME Rossette RPG RPL-1 RPL RPT RSL RTC++ RT-CDL RTL RTL/1 RTL/2 Ruby RUFL RUNCIBLE RUNOFF RUSH Russell RUTH S S* S*A S*M S3 SAAL SAC SAC-1 SAC2 SAD SAM SAFARI Safe Ada SAIL SAINT SAL SALEM S-Algol SALT SAM76 SAMeDL Sandman SAP SARG SAS SASL SASL+LV SASL-YACC Sather Sather-K SCALLOP SCAN SCEPTRE Scheme Scheme-Linda School Schoonschip SCL Scode SCOOP SCOOPS SCRAP Scratchpad I Screamer Screenwrite Scribe SCRIPT ScriptX SCROLL scsh SDF SDL SDL 92 SDMS SEAL Sed SEESAW SEL Self SEM Seneca SEPIA Seque Sequel SESL SETL SETL2 SETL/E SETS SEUS SEXI SFD-ALGOL SFL SFLV SGML sh SHACO SHADOW Sharp APL SHEEP SHELL Short Code or SHORTCODE Show-And-Tell SICStus Prolog SIFT Sig SIGLA SIGNAL SIL Silage SIMAN SIMCMP SIML/I Simone SIMPAC SIMPAS SIMPL SIMPLE SIMPL/I SIMPL-T SIMSCRIPT SIMULA I SIMULA 67 SIMULA - Current version of SIMULA 67. Used as the introductory programming language at Lund Inst Tech, Sweden and U Bergen, Norway. "Object-Oriented Programming with SIMULA", Bjorn Kirkerud, A-W 1989. "Data Processing - Programming Languages Simulating Digital Systems SINA SIPLAN Siprol SIR Siri SISAL SISAL 90 Sketchpad Skim SKOL SL5 SLAM SLANG S-Lang SLIM SLIP SLIPS SLLIC Sloop SMALGOL SMALL Small-C Smalltalk Smalltalk-80 SmalltalkAgents Smalltalk DB Smalltalk/V SmallVDM SmallWorld SMART SMIL SML SML# SML/NJ SMoLCS SMP SNAP SNOBOL SNOBOL2 SNOBOL3 SNOBOL4 SITBOL SNOOPS SO 2 SOAP SOAR SOCRATIC SODA SODAS SOHIO SOL SOLO Solve SP SPADE SPAR SPARK SPARKS Speakeasy Spec SPECIAL SPECOL SPEED Speedcoding Speedcoding 3 SPEEDEX SP/k SPG SPIT SPITBOL SPL SPL/I SPLINTER Split-C SPLX SPM Spool SPRING SPRINT SPS SPSS SPUR Squiggol SQL SQL Module Language Square Squeak SR SRC Modula-3 SRDL Srl SSL STAB-11 STAC STAGE2 Standard Lisp Standard ML STAR 0 StarLISP StarMOD Starset Statemate Steelman STENSOR Sticks&Stones STIL STING STOIC Stoneman STP4 Strand Strawman STREAM STRESS STROBES STRUDL STRUM STRUM2 STSC APL STUDENT Student PL/I STUDIO SuccessoR Sue SUGAR SUIF SUILVEN SUMMER SUMMER SESSION SUPER SUPERMAC Super Pascal SuperTalk Sure SURGE SweetLambda SYDEL SYGMA Sylvan SYMBAL SymbMath SYMBOLANG SYMBOLIC ASSEMBLY Symbolic Mathematical Laboratory Symmetric LISP SYMPL SYN Synchronous C++ SYSLISP T TABLET TABSOL TAC TACL TACPOL TAL TALE TALL TAO TARTAN TASM TASS TAWK Taxis TBIL Tbl Tcl Tcode TCOL TCOL.Ada tcsh Tcsim TDF TDFL TECO TELCOMP Telescript Telon TELOS TELSIM TempLog TEMPO Tempura Ten15 TERMAC Terse TeX TFDL TGS-II THEO Theseus ThingLab Tinman tinman+ TINT Tiny TIP TIPL TK!Solver TL0 TL1 TL/I TMDL TMG TOK Toronto Euclid TPL TPS TPU TRAC Trafola-H Traits TRANDIR TRANQUIL TRANS TRANS-USE TRANSCODE TRANSIT TRANSLANG TREET TREETRAN Trellis TRIGMAN Trilogy TRIX Troff TROLL True BASIC TS Tsim TSL-1 Tui Tuki TUPLE Tuple Space Smalltalk Turbo Pascal Turbo Prolog Turing Turing Plus Turingol TUTOR Twentel TWIG TXL TYPOL UAN UBASIC uC++ UCSD Pascal U-Code UDL/I UHELP UGLIAC UHELP UIL ULP uML UNBASIC UNCOL UNICODE UNIFORM UNIQUE UNISAP UNITY Uranus USE USL USSA utility-coder UTOPIST V VAL Valid VCODE VDM++ VDM-SL Vector C VECTRAN Verdi VEL Verilog VGQF VHDL Vienna Definition Language Vienna Fortran Views VIF Viron VITAL VIVID viz Vlisp VML VMPL VPL VSP VULCAN WAFL WAM WATBOL WATFIV WATFOR WAVE WEB WFL Wisp Wizard Woodenman WOOL WPL+ WPOP WRITEACOURSE WSFN WSL X-1 Xbase XBASIC XC XDL Xfun Xi XICS XL XLISP XLISP-PLUS XNF XPC XPL XPOP XScheme XTRAN Y Yaa yacc YALLL YAPS YASOS Yay Yellow Yerk YLISP Z Z++ ZAP Zed ZENO ZERO ZEST ZetaLisp ZIL Zipcode zsh ZOPL ZUG Zuse Zz





Algorithmik: die Kunst der kleinen, feinen Programme!



Programm korrekt – Beweisen Sie das!



Algorithmik: Was tun Informatiker hier?





Willst Du mich heiraten?



... und wenn sie nicht gestorben sind, so leben sie ...



... noch heute ...



Probleme, Probleme!



Von Igeln und von Hasen – was heisst hier „effizient“?



Die 1‘000‘000 US$ Frage



Theorie: Was tun Informatiker hier?



Das ist Informatik!



Yüklə 3,99 Mb.

Dostları ilə paylaş:




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2024
rəhbərliyinə müraciət

    Ana səhifə