prof. dr hab. Marek Zaionc
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki Analitycznej
- Katedra Podstaw Informatyki
Profesura Otwarcie: 2005-01-27, Zamknięcie: 2006-05-17
Publikacje:
38.
Zofia Kostrzycka, Marek Zaionc
Fuzzy Logics - quantitatively, Journal of Applied Non-Classical Logics vol. 34 (2024), 97-132
37.
Zofia Kostrzycka, Marek Zaionc
Quantitative Study of Fuzzy Logics, 2020 Ieee International Conference On Fuzzy Systems (fuzz-ieee) (2020), 1-8
36.
Marek Zaionc, Neininger Ralph, Hwang
Preface, Combinatorics Probability and Computing vol. 28(4) (2019), 483-484
35.
Aleksander Byrski, Kevin Hammond, John Hughes, Wojciech Turek, Marek Zaionc
34.
Asymptotic density in logic and computability, Proceedings of the Tenth Workshop On Information Theoretic Methods in Science and Engineering, Paris, France, September 11-13, 2017 vol. Publication series B, Report B-2017-3 (Editors: Jacquet Philippe, Leppä-Aho Janne, Roos Teemu (2017), 43
33.
Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630
32.
On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269
31.
A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194
30.
Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72
29.
Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30
28.
How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691
27.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Tautologies over implication with negative literals, Mathematical Logic Quarterly vol. 56 (2010), 388-396
26.
Rene David, Marek Zaionc
Counting proofs in propositional logic, Archive for Mathematical Logic vol. 48 (2009), 185-199
25.
Zofia Kostrzycka, Marek Zaionc
Asymptotic densities in logic and type theory, Studia Logica vol. 88 (2008), 385-403
24.
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science vol. 4941 (2008), 100-109
23.
Lidia Badura, Marek Zaionc
Parametrizability by regular expressions for equations on words, Bulletin of the Section of Logic vol. 36 (2007), 79-93
22.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
Classical and intuitionistic logic are asymptotically identical, Lecture Notes in Computer Science vol. 4646 (2007), 177-193
21.
Probability distribution for simple tautologies, Theoretical Computer Science vol. 355 (2006), 243-260
20.
19.
Probabilistic approach to the lambda definability for fourth order types, Electronic Notes in Theoretical Computer Science (2005), 41-54
18.
Zofia Kostrzycka, Marek Zaionc
Statistics of intuitionistic versus classical logics, Studia Logica vol. 76 (2004), 307 - 328
17.
Asymptotic properties of logics, Schedae Informaticae vol. 12 (2003), 129-138
16.
Zofia Kostrzycka, Marek Zaionc
On the density of truth in Dummet logic, Bulletin of the Section of Logic vol. 32 (2003), 43-55
15.
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216
14.
13.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283
12.
11.
Lambda definability on free algebras, Annals of Pure and Applied Logic vol. 51 (1992), 279-300
10.
A Characterization of Lambda Definable Tree Operations, Information and Computation vol. 89 (1990), 35-46
9.
On the lambda definable higher-order boolean functionals, Fundamenta Informaticae vol. 12 (1989), 181-190
8.
7.
6.
On the lambda definable tree operations, Lecture Notes in Computer Science vol. 425 (1988), 279-292
5.
Word Operations Definable in the Typed lambda Calculus, Theoretical Computer Science vol. 52 (1987), 1-14
4.
3.
Nondeterministic Programs Definable in Typed Lambda Calculus, Fundamenta Informaticae vol. 8 (1985), 63-72
2.
The set of Unifiers in Typed lambda calculus as Regular Expression, Lecture Notes in Computer Science vol. 202 (1985), 430-440
1.
A computer model of evolution and ecological processes, Modeling, Simulation & Control C (1984), 59-63
Konferencje:
4.
IEEE International Conference on Fuzzy Systems, IEEE, Glasgow, Wielka Brytania, 2020-07-19 - 2020-07-24
3.
14th workshop Computational Logic and Applications, Versailles University, France, Versailles, Francja, 2019-07-01 - 2019-07-03
2.
The Tenth Workshop on Information Theoretic Methods in Science and Engineering, Laboratory for Information, Networking and Communication Sciences (LINCS), Telecom ParisTech, INRIA,, Paryż, Francja, 2017-09-11 - 2017-09-13
1.
12th Annual Conference on Theory and Applications of Models of Computation, 18 - 20 May 2015 School of Computing National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-22
Konferencje organizowane:
2.
1.
Research in Adaptive and Convergent Systems (RACS 2017), Kraków, 2017-09-20, 2017-09-23
Doktoranci (po 27 października 2003 roku)
Doktorant | Otwarcie | Zakonczenie |
---|---|---|
Jarosław Duda | 2008-02-28 | 2010-10-28 |
Katarzyna Grygiel | 2010-12-16 | 2013-05-23 |
Mateusz Kostanek | 2010-02-25 | |
Jakub Kozik | 2005-01-27 | 2006-11-30 |
Michał Handzlik | 2013-06-27 | |
Maciej Bendkowski | 2015-12-17 | 2017-11-30 |
Łukasz Lachowski | 2018-05-24 |
Recenzje (po 27 października 2003 roku)
Recenzowany | Jednostka | Treść recenzji |
---|---|---|
Doktorat: Przemysław Broniek | ||
Doktorat: Edward Szczypka | Katedra Metod Efektywnych Algebry | |
Doktorat: Grzegorz Matecki | Katedra Algorytmiki |
Granty (realizowane po maju 2009 roku)
Tytuł | Rola | Rozpoczęcie | Zakończenie |
---|---|---|---|
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne? | Kierownik | 2019-07-04 | 2023-04-03 |
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej | Kierownik | 2014-07-16 | 2017-07-15 |
Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania | Kierownik | 2014-07-01 | 2017-12-31 |
Śledzenie poruszających się osób w monitorowanych strefach | Wykonawca | 2010-09-17 | 2013-09-16 |
Badanie ilościowe w logikach i teorii obliczeń | Kierownik | 2009-09-17 | 2012-03-16 |