Tihanyi Logikai Kollokvium

A matematika alapjai, matematikai gépek, és alkalmazásaik c. nemzetközi kollokvium, amely az első nagyobb méretű, országos számítástechnikai fórum volt, több neves külföldi előadóval.

Időpont:
1962.09.11-9.15

Rendező szervek:

Helyszín:
Tihany (Partizán üdülő)

Főszereplők:

Kiadvány adatai:

Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications: Papers. Editor, László Kalmár. Publisher, Akadémiai Kiadó, 1965. Length, 317 pages.

Előadások száma:
57

Egyéb megjegyzés:

A kollokvium programja. Tihany, 1962. Szeptember 11 — 15.

 

Kedd, szeptember 11. délután. A teremAutomaták és számológépek absztrakt elmélete. Elnök — J. Surányi

15.00 M. A. Gavrilov: Некоторые вопроси построения конечных автоматов.

15.40 G. Moisil: Sur la definition des automates finies.

16.20 R. Péter: Programmierung und partial rekursive Funktionen.

17.15 G. Asser: Über die algebraischen Theorie der Automata.

18.15 L. Kalmar: On an algebraic theory o f automatical digital computers.

19.00 T.Frey: Über den Zusammenhang der Kalmár sehen und Gluschkow sehen Fassung des Begriffes der Rechenautomaten.

 

Szerda, szeptember 12. délelőtt A teremMatematika alapjai, matematikai logika I. Elnök — H. Rasiowa

9.30 P. Erdős: Problems and results on set theory.

10.15 E. J. Thiele: Über starke Ersetzungsaxiome in der Mengenlehre.

10.45 A. Hajnal: Some remarks on problems concerning inaccesible cardinals.

11.15 G. Grätzer: A generalization of Stone’s representation theorem for Boolean algebras .

11.45 L. Rieger: Über die algebraische Struktur des Prädikatenkalküls.

 

В terem — Áramkörök elmélete I Elnök — G. Moisil

10.15 H. Rohleder: Über eine Halbordnung und ihre Bedeutung für die Schaltalgebra

10.45 I. Bereczki: Boole-féle függvények zárójeles minimalizálására vonatkozó vizsgálatokról.

11.15 M. Coroi—Nedelcu: Considerations sur l’analyse et la synthése des schémas a tubes electroniques.

 

Szerda, szeptember 12, délután A teremMatematika alapjai, matematikai logika II. Elnök — L. Kalmár

16.00 A. Church: An independence question in recursive arithmetic.

16.45 J. Becvar: Eine universelle Turing Maschine mit Programmband.

17.15 M. Makkai: Über die transfinite Induktion in zahlentheoretischen Formalismen.

17.45 G. Müller: Charakterisierung einer Klasse von rekursiven Funktionen.

 

В terem — Áramkörök elmélete И. Elnök — M. A. Gavrilov

16.45 I. Fenyő: Ein Analogierechner mit Speicher.

17.15 A. Ádám: The quasi-series decomposition o f two-terminal graphs .

17.45 J. Barát: Анализ и синтех непримитивных схем

18.15 S. Székely-Doby: Jelfogós logikai szerkezetek műszaki alkalmazásai.

 

Csütörtök, szeptember 13, délelőtt A terem Matematika alapjai, matematikai logika III. Elnök — R. Péter

9.30 H. B. Curry: Two examples of algorithms.

10.15 К. Härtig: Über einen Quantifikator mit zwei Wirkungsbereichen.

10.45 V. Vuckovic: On some Possibilities in the Foundation o f Recursive Arithmetics o f Words.

11.15 H. Thiele: Über einige wissenschaftsteoretische Problemen in algoritmischen Sprachen.

11.45 H. Rasiowa: Non-classical theory o f classes.

 

В teremMatematikai nyelvészet, gépi fordítás. Elnök — Zs. Telegdi

10.15 R. B. Lees: Automatic Generation o f Natural-Language Sentences.

11.00 Gy. Hell: Prinzipieller Aufbau der russisch-ungarischen Maschinerübersetzung.

11.30 P. Sgall: Über internationale Zusammenarbeit in der Maschinerübersetzung.

11.45 P. Kiefer: Bemerkungen zur Verwendung der Mengenlehre in der Sprachwissenschaft.

12.15 S. Abraham: On machine recognition o f synonymy.

 

Csütörtök, szeptember 13, délután A teremMatematikai nyelvészet, gépi fordítás II. Elnök — R. B. Lees

15.30 Y. Bar—Hillel: Recent developments in algebraic and computational linguistics.

16.30 M. Bierwisch: Über die Bedingungen und Probleme bei der Anwendung mathematischer Theorien in der Sprachwissenschaft. .

17.00 S. Marcus: Typologie des langues et modeles logiques. (Présenté par G. Moisil).

17.30 Gy. Sipőczi: Problems of. programming some grammatical homonym forms.

17.50 L. Dezső: Заметки о сьязи МП с типологией

 

В teremDigitális számológépek és programozás Elnök — M. A. Karcev

16.30 J. Mc Carthy: A basis for a Mathematical Theory o f Computation.

17.00 E. L. Juscsenko: О полноте средств адресного языка

17.30 Gy. Révész: Über Experimente der automatischen Programmierung auf der Maschine M-3 im Rechenzentrum der Ungarischen Akademie der Wissenschaften.

18.00 H. Hermes: Induktion und Wahrscheinlichkeit.

18.30 Z. Pawlak: New class of mathematical languages and organisation o f addressless computers.

 

Péntek, szeptember 14, délelőtt A teremDigitális számológépek és programozás II Elnök — J. Mc Carthy ,

9.30 M. S. Watanabe: Inductive Inference and its Computer Simulation.

10.15 T. Popoviciu: Sur un modification du polynome d’interpolation de Lagrange.

10.45 M. A. Karcev: Дробные основания системы с числения и их использование для ускорения операций в цифровых машинах.

11.15 I. Fris—Р. Liebl: Über die Konstruktion formaler Sprachen von Typus Algol- 60.

11.45 B. Dömölki: Об однаи методе для распознаваниия синтаксической структуры последовательностей символов.

 

В teremSzámológépek gazdasági alkalmazásai. Elnök — P. D estouches

10.15 Sz. A. Aleskerov: Применение вычислительных машин для исследования потенциальних попей.

10.45 В. Kreko: Über ein diskretes Programmierungsproblem.

11.15 В. Martos: Die Planung der Energiewirtschaft, als ein verallgemeinertes Transportproblem, und dessen suboptimale Lösung.

11.45 S. Ganczer: Ártípus számítások.

 

Péntek, szeptember 14, délután A terem Mesterséges intelligencia, gépi tanulás Elnök — Z. Pawlak

17.00 H. Gelernter: A computer program for the proof o f theorems in elementary Euclidean plane geometry.

18.00 M. A. Ajzerman: Проблема моделирования на машинах процесса обучения распознавания образов.

18.30 A. A. Sztognij: Об одной самообучающийся алгоритмической системе.

 

В teremSzámológépek gazdasági alkalmazásai Elnök — В. Krekó

17.15 P. Destouches: Sur certains aspects du Probleme de l’automatisation des systemes industriels.

17.45 I. Kiss: Termelésprogramozás elektronikus számológéppel.

18.15 J. Piehler: Die Anwendung elektronischer Rechenautomaten in der chemischen Industrie.

 

Szombat, szeptember 15, délelőtt Kötetlen megbeszélés Elnök: G. H. Müller

A program megjelent a Matematikai Lapok-ban . XIV. évf. 1-2 szám. 1963. 175-177 old.

 

A Galériában képeket láthatunk a rendezvényről.

A 2. képen G. Moisil látható

A 3. képen Kalmár László látható.

A 4. képen Péter Rózsa és Fenyő István látható.

Az 5. képen a Partizán üdülő főbejárata látható.

 


Létrehozva: 2016.04.03. 17:23
Utolsó módosítás: 2024.02.17. 12:07