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.
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ó.
