Bulletin SISOn-line Bulletin Slovenskej informatickej spoločnosti EditorialVážené kolegyne a kolegovia, dovolenkové obdobie sa pominulo, akoby bičom švihol. Predpokladáme, že v tomto aj keď nie veľmi horúcom lete, ste načerpali dosť síl do ďalšej práce, pri ktorej by Vás mohlo trochu rozptýliť nové číslo nášho bulletinu. Prinášame Vám v ňom informácie o aktivitách, ktoré sa uskutočnili ešte v prvom polroku, ale môžu byť pre Vás inšpiráciou. Inšpiráciou rôzneho typu. Napríklad takou, ktorá povedie k napísaniu príspevku do nášho bulletinu, v ktorom napíšete o akciách, ktoré sa konali u Vás. Príspevky môžu byť zaradené do ďalšieho čísla, ktoré pripravujeme na november. Posielajte ich na adresu sekretariátu Slovenskej informatickej spoločnosti. Výkonný výbor Obsah
Spolupráca so zahraničnými spoločnosťamiIniciatíva Computer Society IEEEPočítačová spoločnosť (Computer Society -- CS) známeho Inštitútu elektrotechnických a elektronických inžinierov (IEEE) v USA založila v minulom roku "Central and Eastern European Initiative Committee" -- CEEIC (Komitét pre rozvíjanie inicatívy v strednej a východnej Európe). K spolupráci s týmto komitétom CS vyzvala informatické spolocnosti v jednotlivých krajinách strednej a východnej Európy. Prostredníctvom niektorých im známych osobností v odbore vstúpili do styku aj so Slovenskou informatickou spolocnosťou a vytvorili sa prvé kontakty, ktoré začali v septembri 1995 na prvom pracovnom stretnutí zástupcov jednotlivých krajín s predstaviteľmi CEEIC. Stretnutie sa konalo v Budapešti. Zo Slovenska sa na ňom zúčastnila Ľ.Beňušková (STU-FEI). Na prvom stretnutí v Budapešti CEEIC inicializoval prvú aktivitu, spracovanie historického vývoja počítačov v jednotlivých krajinách. Z iniciatívy CS orgány IEEE výnimočne uvoľnili kvôty ocenení na rok 1996, ktoré IEEE-CS v oblasti počítačov pravidelne udeľuje. Jedným z ocenení je aj cena "priekopníka vo vývoji počítačov", ku ktorému sa vyžaduje spracovaný historický vývoj počítačov v danej krajine. V tejto súvislosti Slovenská informatická spoločnosť vytvorila tím autorov na spracovanie článku o spomenutom historickom vývoji, ktorý má byť uverejnený v súbornej knižnej publikácií vydanej IEEE-CS. Publikácia má obsahovať podobné články zo všetkých krajín strednej a východnej Európy. Na spracovaní článku sa v súčasnosti pracuje. Členmi tímu sú: P. Dujnic (Infostat), N. Frištacký, Ľ. Molnár (STU-FEI), I. Plander (SAV-ÚVS) Na dosiahnutie efektívnej spolupráce CEEIC navrhol v tomto roku vytvorenie lokálnych sub-komitétov v jednotlivých krajinách. Tento zámer sme akceptovali. Pri vytvorení takéhoto sub-komitétu na Slovensku sa predseda CEEIC, Dr. Bruce Shriver oficiálne obrátil na Prof. Norberta Frištackého a zároveň formuloval aj predbežnú koncepciu a očakávanú činnosť. Sub-komitét má vo svojej vnútornej štruktúre zahŕňať pracovníkov vysokých škôl, SAV, priemyslu a štátnej správy; a celkovo má mať typicky 12, avšak najviac 15 členov. Komitét CEEIC si vyžiadal právo vyjadrenia sa k jednotlivým navrhovaným členom. Predpokladáme, že do konca leta 1996 sa podarí sub-komitétu vytvoriť a začne vykonávat svoju funkciu. V septembri sa plánuje v Prahe druhé pracovné stretnutie CEEIC, na ktorom sa chceme zúčastniť. Náplň činnosti slovenského sub-komitétu CEEIC možno stručne charakterizovať ako "sledovanie rozličných programov a služieb, ktoré poskytuje CS IEEE, s ohľadom na potreby komunity informatikov v rozmanitých profesiách na Slovensku a so zámerom ich účinného využitia v tejto komunite". Medzi aktivity sub-komitétu (ako ich formuloval CEEIC) možno zaradiť:
Vidno, že uvedená, skutočne pozoruhodná iniciatíva CS IEEE môže byť pre komunitu informatikov na Slovensku neobyčajne významná a pre ďalší rozvoj a medzinárodný dosah tejto komunity veľmi užitočná a prospešná. Slovenskému sub-komitétu chceme zaželať veľa úspechov pri napĺňaní jeho poslania. Norbert Frištacký, FEI STU, Bratislava Úspechy našich mladých programátorovACM International Collegiate Programming Contest17. februára 1996 sa v rámci ACM Computing Week 96 v Philadelphii konalo finále 20. rocníka International Collegiate ACM Programming Contest. Tohto roku sa tejto celosvetovej sútaže zúcastnilo v 16-tich regionálnych kolách (z toho 4 v Európe) 1001 družstiev. Regionálne kolo pre centrálnu európu sa konalo v novembri 1995 na MFF UK v Bratislave, informovali sme o tom v minulom císle bulletinu. Do finále sa prebojovalo 43 družstiev zastupujúcich rôzne univerzity (z Európy bolo 10 univerzít). Potešitelné je, že aj Slovensko tu malo zastúpenie prostredníctvom Rastislava Královica, Daniela štefankovica a Tomáša Vinar a, študentov Matematicko--fyzikálnej fakulty Univerzity Komenského v Bratislave. Po päthodinovom napínavom boji, pocas ktorého mali sútažiaci možnost riešitV rámci Computing Weeku bol už tradicne velmi bohatý program. Asi najväcším lákadlom bol v tomto roku 6--partiový šachový zápas medzi Garim Kasparovom a upraveným programom Deep Blue, ktorý vyhral, nie celkom hladko, Gari Kasparov. Ako sám povedal, program ho príjemne prekvapil, nemyslel že by stroj takto mohol hrat, ale verí, že ludská intuícia a predstavivost zvítazia nad hrubou silou. Ďalšie lákadlo bolo 50. výročie od spustenia ENIACa -- 1. elektronického počítaca, ktorý bol skonštruovaný práve vo Philadelphii v Moore School of Electrical Engineering. Pri tejto príležitosti sa aj v rámci konferencie uskutočnila historická sekcia a na bankete, kde sa zišli konštruktérski pionieri prvých počítacov, ENIAC dokonca aj znovu zapol viceprezident USA Al Gore. Pre odbornú verejnosť bola udalosťou prednáška Manuela Bluma při príležitosti udelenia Turingovej ceny za prínos v oblasti výpočtovej zložitosti a jej aplikácií do kryptografie. Samozrejme i na samotnej konferencii odznelo mnoho zaujímavých prednášok. Nakoniec treba spomenúť, že pre našinca bolo zaujímavé prelistovať si knihy na tradičnej výstave vydavateľstiev počítacovej literatúry a prezrieť si prezentácie počítacových a softvérových firiem. Pre úplnosť uvádzame ešte čať výsledkovej listiny: Poradie Škola Počet vyrieš. prík. Celkový čas 1. University of California, Berkeley 6 720 V školskom roku 1996/7 sa regionálne kolo pre strednú Európu uskutoční 23. novembra 1996 na MFF UK. Dúfame, že sa nám podarí obhájiť predchádzajúce umiestnenia a opäť postúpiť do finále. P.S: Univerzity, ktoré by sa chceli zúčastniť regionálneho kola pre centrálnu Európu sa môžu obrátiť na autora tohoto príspevku alebo na http://www.uniba.sk/acm/ Michal Winczer,sekretár regionálneho kola pre strednú Európu, 8. medzinárodná informatická olympiáda (IOI'96)Medzinárodná súťaž stredoškolákov v informatike má kratšiu tradíciu, než olympiády ostatných predmetov. Začala v roku 1989 v Bulharsku a jedným z dvanástich účastníkov bolo aj družstvo Československa. Československé, resp. české a slovenské družstvo patrilo vždy medzi najúspešnejšie v neoficiálnom hodnotení krajín a naši študenti nesklamali ani tohto roku. Na ôsmom ročníku privítal v posledný týžden júla maďarský Veszprém 215 súťažiacich z 56 krajín (maximálne štyria účastníci a dvaja vedúci z každej krajiny). Počítajúc aj organizátorov, znamenalo to akciu s asi 500 ľuďmi a 450 počítačmi. Bolo to vraj zatiaľ najväčšie jednorázové nasadenie počítačov v Maďarsku (ako organizátori-vysokoškoláci zabezpečujúci výpočtovú techniku priznali, najväčší logistický problém ich čakal po súťaži: vrátiť každý počítač do svojej očíslovanej krabice). Súťaž sa uskutočnila na supermodernom gymnáziu A. Vetésiho na okraji mesta, ubytovanie a stravovanie bolo zabezpečené v susednom študentskom domove (vybavenosť gymnázia a umiestnenie celej akcie v jednej lokalite vyvážili určité zápory ubytovania). Okrem súťaže bolo zabezpečených aj množstvo výletov, hier a inej zábavy, ktoré urobili pobyt veľmi príjemným. Samotná súťaž prebiehala v dvoch dňoch. Študenti dostali každý deň po troch úlohách, na riešenie ktorých mali 5 hodín čistého času. Súťažiaci mal k dispozícii počítač s nainštalovanými prekladačmi Borland Pascalu, Borland C/C++ a QBasicu (drvivá väčšina, ako aj všetci naši študenti, programovala v prostredí Pascalu). Po uplynutí piatich hodín nechal hotové programy (vo vykonateľnom tvare) v presne určenom adresári --- a to bolo všetko, čo sa pri vyhodnocovaní, ktoré začalo po prestávke na obed, bralo do úvahy. Vyhodnocovalo sa pomocou počítača, každý program bol podrobený desiatim testom a hodnotila sa správnosť výsledkov, ako aj rýchlosť: po uplynutí časového limitu bol testovaný program prerušený a výsledky sa nehodnotili. Časový limit bol ale oznámený v zadaní úlohy, preto program (založený na heuristike alebo preberajúci všetky možnosti) mohol sledova Tohtoročné úlohy boli veľmi pekné, všetky mali riešenie s polynomickou časovou zložitosťou, dali sa teda riešiť bez použitia backtrackingu alebo heuristík. Čo je hlavné, páčili sa (a "sedeli") aj našim študentom --- nesmieme ale zabudnúť, že sú to síce gymnazisti, ale bezpečne ovládajú napríklad dynamické programovanie. Obmedzený priestor tejto správy nám dovoluje uviesť len skrátenú verziu zadania jedinej úlohy, ktorá sa nám z rôznych príčin najviac páčila. Bude to tretia úloha druhého súťažného dna: Magické štvorce.
Obr. 1 Po úspechu svojej kocky vytvoril pán Rubik aj jej rovinnú verziu -- magické štvorce. Je to skladačka zložená z ôsmych rovnako veľkých štvorčekov (pozri obr. 1). Budeme uvažovať takú verziu hry, v ktorej každý štvorček má inú farbu. Farby označujeme číslami 1 až 8 (pozri obr. 1). Konfigurácia skladačky je určená postupnosťou farieb, počnúc farbou štvorčeka v ľavom hornom rohu a pokračujúc v smere hodinových ručičiek. Napr. konfigurácia obr. 1 je zadaná postupnosťou (1, 2, 3, 4, 5, 6, 7, 8). Táto konfigurácia je počiatočná. Konfiguráciu skladačky môžeme zmeniť pomocou troch základných transformácií, označených písmenami 'A', 'B' a 'C': 'A': výmenou horného a dolného riadku, 'B': cyklickým posuvom štvorcov skladačky vpravo, 'C': otočením prostredných 4 štvorčekov v smere hodinových ručičiek. Všetky konfigurácie skladačky sú dosiahnuteľné pomocou týchto troch základných transformácií. Základné transformácie sú znázornené na obrázkoch 2.a.--c. čísla vedľa štvorčekov sú pozície týchto štvorčekov. Ak štvorček na pozícii p obsahuje číslo i, znamená to, že štvorček z pozície i sa po vykonaní transformácie dostal na pozíciu p.
Obr. 2a. Transformácia A
Obr. 2b. Transformácia B
Obr. 2c. Transformácia C Máte napísať program, ktorý určí postupnosť základných transformácií, ktorá prevedie počiatočnú konfiguráciu z obr. 1 na zadanú cieľovú konfiguráciu (podúloha A). Ďalšie dva body získate, ak dlžka tejto postupnosti nepresiahne 300 (podúloha B). Autorské riešenie tejto úlohy, na ktorú prišlo aj vela vedúcich delegácií a študentov, spočíva vo vytvorení stromu prehľadávania do šírky na množine všetkých 8! konfigurácií. Predspracovaný strom sa dá zabudovať do programu a riešenie je potom triviálne. Ako sa ukáže, výška stromu je 22, t.j. hranica 300 krokov je mierne "nadsadená" (to ale nebránilo niektorým súťažiacim vo vytvorení správnych postupností krokov s dĺžkou vysoko presahujúcou 8! --- tieto riešenia potom úspešne zablokovali testovací software). Najúspešnejší slovenský účastník Dušan Bezák (ako aj jeden z Američanov), prišiel s nasledujúcim riešením. Náhodne generoval postupnosti transformácií dĺžky nanajvýš 300 a kontroloval, či nedosiahol počiatočnú konfiguráciu. Ak nie, postupnosť zahodil a začal znovu. A napokon výsledky našich účastníkov: V neoficiálnom poradí družstiev skončilo Slovensko na vynikajúcom treťom mieste za Čínou a Ruskom. Absolútnym víťazom sa stal Daniel Král zo Zlína (196 bodov z 200 možných). Ďalšie informácie o súťaži (vrátane zadaní úloh a vzorových riešení) je možné získať na adrese http://www.ioi96.veszprem.hu. A ako to vo Veszpréme znelo na každom kroku: See you in Cape Town, at IOI'97! Viera Blahová, vedúca družstva SR, Juraj Balázs, zástupca vedúcej, Reportáže z domácich a medzinárodnych podujatíALTEC '96 - Workshop Algorithms for Future Technologies'96V čase od 29. mája do 1. júna Kabinet informatiky MÚ SAV a Katedra informatiky MFF Komenského univerzity usporiadali workshop ALTEC'96. ALTEC je akronym úspešného pilotného projektu Európskej únie Akcia IC-1000: ALTEC - Algorithms for Future Technologies, ktorý bol riešený v čase od 12. marca 1992 do 12. marca 1995. Všeobecným cieľom projektu ALTEC bolo posilnenie výskumu v oblasti algoritmov pre informačné technológie v Strednej Európe a ďalší rozvoj algoritmických prostriedkov a techník. Špecifickým cieľom bolo efektívne využitie nových programátorských techník a nových prostredí na podporu programovania, predovšetkým v oblasti paralelných výpočtov, distribuovaných výpočtov a kombinatorickej optimalizácii s dôrazom na paralelné výpočty. Projekt sústredil niektoré významné západoeurópske pracoviská jako Katedra informatiky Utrechtskej univerzity, Laboratórium informatiky Univerzity v Bordeaux a ústav informatiky Maxa Plancka v Saarbrückene spolu s vybranými stredoeurópskymi pracoviskami ako Kabinet informatiky Slovenskej akadémie vied, Katedra informatiky MFF Komenského univerzity, Katedra aplikovanej matematiky MFF Karlovej univerzity, ústav informatiky Českej akadémie vied, ústav počítačov a automatizácie Maďarskej akadémie vied a Katedra informatiky Varšavskej univerzity. Kooperácia sa ukázala velmi plodnou. Hlavnými výsledkami bolo vytvorenie kooperatívnej siete pracovísk, spoločný výskum, ktorý vyústil do 250 publikácií a pilotných implementácií. Počas celého projektu spoločné workshopy boli vynikajúcou príležitosťou na stretnutia a spoluprácu riešiťelov projektu ALTEC. Zorganizovalo sa päť takýchto workshopov, ktorých úroveň dosahovala úroveň medzinárodných konferencií z oblasti informatiky. Pracoviská zúčastnené v projekte ALTEC sa rozhodli zachova\v t vytvorenú kooperatívnu výskumnú sieť a na\v dalej organizovať každoročne ALTEC-ovské workshopy. Na workshope ALTEC'96 odznelo 26 prednášok z oblasti návrhu a analýzy diskrétnych algoritmov pre moderné technológie s dôrazom na paralelné algoritmy, jazyky paralelného programovania, problémy prepojovacích sietí paralelných počítačov, distribuované výpočty, modely výpočtov a kombinatorickej optimalizácie. Počas podujatia sa uskutočnila slávnostná prednáška vedúceho projektu ALTEC - dekana Matematicko-informatickej fakulty Utrechtskej univerzity Prof. Jana van Leeuwena pri príležitosti ocenenia významnosti jeho výsledkov pre informatiku ako aj ocenenia jeho prínosu pre spoluprácu medzi slovenskými a západoeurópskymi informatikmi, udelením zlatej medaily Komenského univerzity. Workshop ALTEC'96 bol dobrým vykročením v smere ciela, ktorý si účastníci projektu ALTEC predsavzali a to zachovanie multilaterálnej spolupráce, kedy ALTEC'97 by sa mal uskutočniť buď v Saarbrückene alebo vo Varšave. ALTEC'98 bude v Prahe a ALTEC'99 v Budapešti. Všetky tieto workshopy sa majú koncetrovať na základný výskum v paralelných výpočtoch a výskum prepojovacích sietí paralelných počítačov a dať takto podnety pre další vývoj v týchto oblastiach v strednej ale aj západnej Európe. ALTEC'96 sa uskutočnil v ústave vzdelávania a služieb na Bárdošovej 33. účastníci podujatia vyjadrili viackrát svoju spokojnosť s miestom konania a úrovňou poskytovaných priestorov a služieb. ústav odporúčame hlavne do pozornosti organizátorom podujatí do 100 účastníkov, ktorým zaleží na peknom, tichom a cenove prístupnom mieste v Bratislave. Ondrej Sýkora a Imrich Vrto, Kabinet informatiky, MÚ SAV, Bratislava, COFAXSpráva o sprievodnom programe medzinárodnej výstavy COFAX '96Po obchodnej stránke splnil COFAX '96 očakávania vystavovateľov a návštevníkov a pokračoval v doterajšom trende týchto medzinárodných výstav výpočtovej techniky, ktorý reflektuje stabilný rast odvetvia a stabilný záujem vystavovateľov aj zákazníkov o výstavu. Z hľadiska Slovenskej informatickej spoločnosti boli zaujímavé sprievodné odborné podujatia, ktoré zahrňovali databázový seminár, seminár o telekomunikáciach, seminár o virtuálnej realite, jarnú školu počítačovej grafiky, súťaž stredoškolákov "Programujeme s Cofaxom". Pri nedostatku odborných podujatí, ktoré v minulosti organizovali výskumné inštitúcie, školy, domy techniky a pod., sú odborné podujatia pri výstavách vítanou platformou na šírenie poznatkov o najnovších trendoch v informatike. Učastníci databázového seminára sa v troch prehladových prednáškach o geografických informačných systémoch, o metódach vývoja softwarových programov (Mičovský, Šešera, Softec Bratislava) a o vývoji relačného jazyka SQL2 (Pokorný, MFF UK Praha) zoznámili s najnovšími trendmi v týchto oblastiach. Zvlašť rozšírovanie možnosti databázových systémov pracovať okrem tradičnych alfanumerických informácií aj s novými typmi objektov, je velmi významný trend, ktorý sa premieta aj do komerčne dostupných systémov riadenia bázy dát. Táto skutočnosť sa ukázala v referátoch Pavlovského (INFORMIX Praha) a Farkaša a Čechvalu (ORACLE Slovensko), ktorí referovali o nových čŕtach svojich produktov. Ďalším trendom, ktorý bol viditeľný aj v príspevkoch na seminári, je hľadanie nových foriem na prezentáciu dát pre riadiacich pracovníkov. Tejto témy sa týkali prednášky Kosečeka a Kočiho (PVT Košice), Lydaja a kol. (EU Bratislava), ako aj prednášajúcich o systémoch INFORMIX a ORACLE, kde sa táto črta označuje "Warehousing". Osobitnou témou bolo spracovanie dát typu plných textov. K tejto téme sa vyjadrili jazykovedci (Benko, PF UK Bratislava), prevádzkovatelia komerčných systémov (Bartko, STORIN Bratislava), distribútori softvéru (Salanic, Datasystem Soft Bratislava), ako aj akademickí informatici, ktorí v sérii referátov z Univerzity Olomouc uviedli výsledky z oblasti signatúrových metód, kompresných metód pre textové systémy a neurónových sietí. Na seminári odzneli aj viaceré ďalšie príspevky, ktoré sú spolu s ostatnými zhrnuté v zborníku zo seminára, ktorý je ešte v obmedzenom množstve získatelný od odborného garanta seminára RNDr. J. Šefránka ( sefranek@alpha.dcs.fmph.uniba.sk ). Anton Scheber, SOFTEC, Bratislava, FMCS'96 - SATELLITE CONFERENCE OF THE 2nd ECMJuly 15--19, 1996, Košice, Slovakia Program konferencie bol nasledovný (uvádzame ho, pretože bol tvorený počas konferencie, recenzovaný výber príspevkov pred konferenciou sa nerobil): Monday, July 15, 1996.(morning -- chairman V. Geffert) (afternoon -- chairman O. Verbitsky) Tuesday, July 16, 1996.(morning -- chairman M. O. Aciego) (afternoon -- chairman A. Szymanski) Wednesday, July 17, 1996(morning -- chairman A. A. Zenkin) Thursday, July 18, 1996.(morning -- chairman H. Becker) (afternoon -- chairman A. Krawczyk) Friday, July 19, 1996.(morning -- chair Z. Navickas) Niekoľko doplňujúcich poznámok k priebehu konferencie:Konferencia sa konala v priestoroch Prírodovedeckej fakulty Univerzity P. J. Šafárika. Ubytovanie bolo zabezpečené v študentskom domove na Medickej 6 a v hosťovských izbách ubytovne SAV. Odznelo 23 príspevkov väčšinou jednohodinových. Okrem prednášajúcich sa na konferencii zúčastnilo ešte 10 dalších účastníkov. V pondelok bola spoločná slávnostná večera v reštaurácii U vodnára. V stredu popoludní sa uskutočnil výlet do Bardejovských kúpeľov, kde účastníci navštívili skanzen ľudovej kultúry, v Bardejove chrám sv. Egídia a večer sa konala slávnostná večera v reštaurácii Zlatá koruna, na ktorej sa zúčastnil aj primátor mesta Bardejov p. Skaloš. Jednacím jazykom bola angličtina. Niektoré príspevky však odzneli v ruštine so simultanným prekladom. Prekladateľom bol J. Vinař. Konferencia sa skončila v piatok spoločným obedom. Miroslav Repický, Matematický ústav SAV, Košice, Informácie o pracovných skupináchPracovná skupina pre neurónové sieteSeminár o neurónových sieťachDňa 17. mája 1996 sa konal na Katedre matematiky Chemickotechnologickej fakulty STU v Bratislave seminár organizovaný Profesorom Vladimírom Kvasničkom, venovaný teórii a aplikáciám neurónových sietí. Cieľom seminára bola vzájomná výmena informácií a skúseností s používaním neurónových sietí a oboznámenie sa s najnovšími teoretickými poznatkami spojenými s týmto zameraním. Veľmi zaujímavá bola aj prednáška o genetickom programovaní, ktorá síce nesúvisela bezprostredne s neurónovými sieťami, no dala nový pohľad na možnosti symbolickej regresie. Seminár bol tiež poslednou väčšou akciou pred plánovanou konferenciou venovanou neurónovým sieťam, ktorá sa uskutoční v Herľanoch 11.-13. novembra 1996. O štádiách prípravy na toto podujatie referoval Ing. Peter Sinčák. Program seminára (podľa abecedného zoznamu prednášajúcich):
Jiří Pospíchal, ChTF STU, Bratislava, Abstrakty dizertačných prácAutor: Ing. Viera Rozinajová Názov práce: Explicit representation of programming knowledge and its use in program design Školiteľ: Prof. Ing. Pavol Návrat, CSc. Školiace pracovisko: FEI STU, Katedra informatiky a výpočtovej techniky Termín obhajoby: 3.7.1996 Submitted thesis deals with some problems related to explicit representation of programming knowledge. The main intention is to investigate possibilities of utilisation of this knowledge in program construction process, especially in program design. A method of program construction support based on explicitly represented programming knowledge is proposed. Our approach is based on the following hypothesis: The process of program construction can be described as a process of reasoning over explicitly represented programming knowledge. The problem of identification, formulation and representation of this knowledge is also considered very important and therefore discussed in the thesis. In order to perform experiments, a knowledge base was built which codifies some of the knowledge related to the problem of selecting a proper data type in the process of program formation. It was implemented using non-dedicated tool taking advantage of object-oriented approach. As described in the thesis, the presented knowledge base allows nontrivial reasoning sequences to be modelled. The results show that the system is able to provide qualified advices to a programmer. This is to be considered important also in the process of learning programming. It is also important that using explicit knowledge on programming a higher quality of program construction support can be achieve Informácie o knihách
Milada Kelemenova, MFF UK, Bratislava, e-mail: Milada.Kelemenova@fmph.uniba.sk
|