Tihany Logical Colloquium
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.
- Kalmár László - előadó, spiritus rector
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.
A kollokvium programja. Tihany, 1962. Szeptember 11 — 15.
Kedd, szeptember 11. délután. A terem— Automatá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 terem— Matematika 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 terem— Matematika 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.
В terem— Matematikai 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 terem— Matematikai 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ő: Заметки о сьязи МП с типологией
В terem— Digitá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 terem— Digitá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: Об однаи методе для распознаваниия синтаксической структуры последовательностей символов.
В terem— Szá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: Об одной самообучающийся алгоритмической системе.
В terem— Szá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ó.
