A LOGIKA HELYE A SZÁMÍTÁSTUDOMÁNYI KÉPZÉSBEN

Pásztorné Varga Katalin, pkata@ludens.elte.hu
ELTE Általános Számítástudományi Tanszék,

Abstract

In this paper the application facility of logic in computer science is summarized. In relation of that we give a short survey about the topics of logic built in the teaching of the future computer scientists. Our idea is to give good and useful bases of logic for the students during the teaching. This material must contain first an application oriented foundation of the logic and secondly different topics of logic applied in some area of the computer science. In the computer science the logic is applied as description language and similarly as a tool for analyzing programs. For this reason in the training of specialists in programming it is necessary to give a complete but suitable treatment of the logic. Our conception about the material and the teaching of the logic is detailed below.

Vajda Ferenc, vajda@iif.kfki.hu
KFKI Mérés és Számítástechnikai Kutató Intézet és Budapesti Mûszaki Egyetem

Abstract

The paper outlines an approach to reshape the existing parallel computing curriculum. First as a background information a brief overview of the current parallel and distributed computing curricula at different universities is given. It includes the most important courses of a traditionally organised curriculum. The different faces of parallelism and concurrency are also described. Parallel computing topics as examples are suggested for basic courses of a typical curriculum. The paper concludes with the problems of distributed parallel computing education i.e. faculty members familiarity with the topic, contradictory requirements between future employers and graduate schools and harmonisation of the different subtopics in the individual courses.

Horváth Zoltán, hz@lngsc2.inf.elte.hu
Eötvös Loránd Tudományegyetem
Általános Számítástudományi Tanszék

Abstract

This paper concerned with a parallel programming methodology used in the education of computer science at University Eötvös, Budapest.We introduce the basic concepts of a relational model of parallel programming. We define the concepts of a problem, an abstract program and a solution. Our approach is functional, problems are given an own semantical meaning. The abstract program is regarded as a relation generated by a set of nondeterministic conditional assignments similar to the concept of abstract program in UNITY. We introduce the behaviour relation of a parallel program which is easy to compare to the relation which is the interpretation of a problem. The synthetized abstract programs are implemented on a parallel computer using C and PVM.

Járdán Tamás, jardan@gemini.ektf.hu
Eszterházy Károly Tanárképzõ Fõiskola, Eger

Abstract

I would like to speak about teaching operating systems, my experience and problems. First I would like to show, where it takes up place in our syllabus. Three units are involved in teaching operating systems: Introduction to informatics, Operating systems, Computer networks. From the point of view of teaching operating systems, all units are interesting, but the second one is the most important. This unit discusses the following topics: basic concepts of operating systems, using MS-DOS (commands, batch files, memory management, device drivers, configuring), WINDOWS (managing GUI, installing hardware equipment and other applications), frequently used utilities, Novell Netware (concepts, security, basic functions), internet applications (email, ftp, telnet, gopher, www). Because computer systems are becoming more and more complicated, education itself should be more practical, too. It should be aimed at helping students.

Nyékyné Gaizler Judit, nyeky@ludens.elte.hu
Eötvös Loránd Tudományegyetem
Általános Számítástudományi Tanszék

Abstract

The course 'Programming Languages 3' takes place in the education process of software experts at the University Eötvös Loránd for the students who are interested in programming languages. It should help the students understand the principles that underlie all languages. It gives an overview of the possible components of languages, and compares the tools of various languages supporting procedural, iterational and data abstraction. The comparison is based on the languages Ada, Modula, Pascal, C, FORTRAN, COBOL, PL/1, C++, Eiffel, Lisp, Prolog, Miranda, Simula, CLU, Alphard, Smalltalk, Objective C, Turbo Pascal, Oberon, Delphi, Simula, Trellis, Beta, POOL and Java.

Szkiba Iván, szkiba@math.klte.hu
Vég Csaba, vega@dragon.klte.hu
KLTE Matematikai és Informatikai Intézet
KLTE Informatikai és Számító Központ

The topic of this lecture is how to teach the basic concepts of the Object Oriented Methodology. The two key concepts of the Object Oriented Methodology is the abstraction (or inheritance) and the encapsulation. We would like to show how this works by the means of the C++ programming language.

Csörnyei Zoltán, csz@maxi.elte.hu
Nagy Sára, saci@ludens.elte.hu
Eötvös Loránd Tudományegyetem
Általános Számítástudományi Tanszék

Abstract

Functional languages have become the focus of much active research in recent years, but their acceptance has been delayed by the inefficiency of their available implementations when compared with more conventional languages. This situation has changed recently with the advent of rather fast implementations of new fuctional languages such as ML, Miranda, Haskell.

This article is about implementing functional programming languages. It describes how to translate a high-level functional language into an intermediate language, called the lambda calculus. After it shows a simple implementation of the lambda calculus using graph reduction.

Tóth Zoltán, qgetothz@gold.uni-miskolc.hu
Miskolci Egyetem, Informatika Intézet

Abstract

Linux is basically a freely available Unix version, running mainly on Intel 386, 486 and Pentium microprocessor based machines. The project was started by Linus Torvalds, a Finnish university student, and now supported by the Free Software Foundation (the owner of the GNU project.).

Linux is a fully qualified, POSIX compliant Unix operating system, running on cheap hardware, available free of charge. Virtually every server program (ftp, WWW, gopher, etc.) can be installed and managed under Linux, which makes it an ideal server platform for universities and other non-profit organisations.

Kuki Attila, kuki@math.klte.hu
Kossuth Lajos Tudományegyetem, Információ Technológia Tanszék

Abstract

This paper is dedicated to the Scholastic Programming Contest of ACM. This is a contest for teams of three persons from a higher educational institute. After a short introduction we give a summary of the contest, the rules and the method of judgement. The main types of the given problems are prompted and the last part of this paper we give some sample promblems.