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.

Egyéb megjegyzés:

A kllokvium 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. G avrilov: Некоторые вопроси построения конечных автоматов. 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. 176 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—D oby: 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 o f 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. D ezső: Заметки о сьязи МП с типологией В 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. D estouches: 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.


Létrehozva: 2016.04.03. 17:23
Utolsó módosítás: 2020.01.30. 20:37