Absztrakt kÃ¶tet - Debreceni Egyetem AgrÃ¡r

More documents

Recommendations

Info

Informatika a felsőoktatásban 2008 Debrecen, 2008. augusztus 27-29.MATEMATIKAI SZOFTVEREK AZ ALKALMAZOTT INFORMATIKA OKTATÁ-SÁBAN – A BŐSÉG ZAVARA?!MATH SOFTWARE – AN EMBARRASSMENT OF RICHES?!Virágh JánosSZTE TTIK Informatikai TanszékcsoportÖsszefoglalóA Tanszékcsoporton belül az Alkalmazott Informatika Tanszék nagyjából fél tucat alap (BSc.)vagy mester (MSc.) szakokhoz tartozó kurzust oktat, illetve hasonló számú szakirányos kurzust tart.Természetesen az összes kurzushoz szükséges több-kevesebb számítógépes háttér, és szintemindegyikhez felhasználunk bizonyos matematikai programcsomagokat, könyvtárakat. A legtöbbet alkalmazottszoftverek a MATLAB, a Maple és néhány statisztikai szoftvercsomag. Az előadásbanösszegezzük ezen programokkal kapcsolatos tapasztalatainkat, a várható fejleményeket.Kitérünk a lehetséges alternatívákra, a szabad szoftveres megoldások előnyeire. Vázoljuk alegfontosabb ilyen megoldások (Axiom, Maxima, Octave, Scilab, SAGE, TeXmacs) jellegzetességeit.Kulcsszavakmatematikai szoftverek, számítógépes algebra, tudományos számítások, közelítő számítások,Axiom, Maxima, Octave, SciLab, SAGE, TeXmacs, Linux, virtualizációAbstractAt the Informatics Department, all our BSc. and MSc. Courses have some mathematicalbackground and consequently need some mathematical programs to teach them. We use mostlyMATLAB, Maple and a few statistical tools. In this talk we summarize our experience and thecharacteristics of the free alternatives Axiom, Maxima, Octave, Scilab, SAGE and TeXmacs. We hopethat within a few years we can change entirely for them.Keywordscomputer algebra systems, scientific computations, numerical methods, Axiom, Maxima, Octave,SciLab, SAGE, TeXmacs, Linux, virtualization132
Informatika a felsőoktatásban 2008 Debrecen, 2008. augusztus 27-29.A LOGIKA HELYE AZ INFORMATIKUSOK ALAP- ÉS MESTERKÉPZÉSÉBENLOGIC FOR COMPUTER SCIENCE RELATED MAJORS AT BSC AND MSC LEVELSPásztorné Varga Katalin 1 , Várterész Magda 21 ELTE, Informatikai Kar, Programozási Nyelvek Fordítóprogramok Tanszék2 DE, Informatikai Kar, Számítógéptudományi TanszékÖsszefoglalóAz informatika fejlődését figyelve a programozás-elméletben, az adat-, majd tudásbáziselméletben és a mesterséges intelligencia területén felmerülő logikai problémák kutatása soránkialakultak új irányok, látókörbe kerültek a klasszikus logika olyan korábbi diszciplinái, mint alambda-kalkulus, típuselmélet, modellelmélet, nem klasszikus logikák, kategóriaelmélet, stb.Nyilvánvaló, hogy az oktatásban is tükröződnie kell a logika ezirányú fejlődésének és megnövekedettszerepének. A teljesség igénye nélkül megnéztük, hogy a világ néhány nagy egyetemén mit gondolnakezzel kapcsolatban, és javaslatot teszünk arra, hogy itthon az informatikusok képzésében a logikárólmit, mikor és milyen mélységben oktassunk az alap-, illetve a mesterképzésben.Kulcsszavakinformatika, számítástudomány, logika, felsőfokú oktatás, tantárgyi koncepcióAbstractObserving the evolution of informatics we can easily realize some new directions of logicsresearch connected mainly to problems arising in programming theory, data- and knowledge basetheory, artificial intelligence. Many earlier disciplines of the classical logics like lambda calculus, typetheory, model theory, non classical logics, category theory, etc. came again into the scope of currentresearch. Obviously, the education curricula should reflect the recent development and the increasingrole of logics in the new applications. After a partial review of the practice of several world wideknown and acknowledged universities, we have made some suggestion what could be actuallynecessary to teach from logics for informatics students at various levels.Keywordsinformatics, computer science, logic, higher education, subject conception133
Page 1 and 2:
Informatika a felsőoktatásban 200
Page 3 and 4:
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108: Informatika a felsőoktatásban 200
Page 157: Informatika a felsőoktatásban 200
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Page 219 and 220:
Page 221 and 222:
Page 223 and 224:
Page 225 and 226:
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
Page 239 and 240:
Page 241 and 242:
Page 243 and 244:
Page 245 and 246:
Page 247 and 248:
Page 249 and 250:
Page 251 and 252:
Page 253:
show all

Absztrakt kÃ¶tet - Debreceni Egyetem AgrÃ¡r

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?