| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990006007210403321 |
|
|
Autore |
KONGRESS FUR PHILOSOPHIE. Heidelberg, 1966 |
|
|
Titolo |
Achter deutscher Kongress fur philosophie Heidelberg 1966 : das Problem der sprache |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990000559300203316 |
|
|
Autore |
SINCLER DE ZWART, Hermine |
|
|
Titolo |
Acquisition du language et développement de la pensée : sous-systèmes linguistiques et opération concrètes |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
VI, 168 p. : ill. ; 21 cm |
|
|
|
|
|
|
Collana |
|
Collection sciences du comportement ; 2 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910349276703321 |
|
|
Autore |
Paakki Jukka |
|
|
Titolo |
Arto Salomaa: Mathematician, Computer Scientist, and Teacher : A Thematic Biography / / by Jukka Paakki |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 303 p. 61 illus., 41 illus. in color.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Mathematics |
History |
Discrete mathematics |
Computer science—Mathematics |
History of Computing |
Theory of Computation |
History of Mathematical Sciences |
Discrete Mathematics |
Mathematics of Computing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Professor's Son -- Child and Youngster in Turku, Finland -- Master and Doctor of Science -- Master of Many-Valued Logic -- Prehistory of Automata and Formal Languages -- Father of Formal Languages -- Champion of L -- President of EATCS -- Master of Formal Power Series -- Champion of Cryptography -- Master of Biocomputing -- Academician, One of the Twelve -- All-Round Grand Champion -- Champion of Sauna, Master of Music and Sports -- Äijä: The Great Grandfather -- Q.E.D. -- App. A, References and Suggested Reading -- App. B, PhDs Supervised by Arto Salomaa -- App. C, Textbooks and Handbooks by Arto Salomaa -- Name Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then |
|
|
|
|
|
|
|
|
|
|
researched this fascinating biography of an intellectual who was key in the development of these fields. Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna. |
|
|
|
|
|
| |