Metamathematics of First-Order Arithmetic.

Hájek, Petr, Pudlák, Pavel.

Cambridge: Cambridge University Press, 2017, 474s.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic). © 1998 Springer-Verlag Berlin Heidelberg and © 2016 Association for Symbolic Logic under license to Cambridge University Press.

Bronchiální hyperreaktivita a její souvislosti.

Čáp, P., Koťátko, P., Malý, Marek, Maxová, H., Šulc, J., Vízek, M., Vondra, V., Zindr, V..

Praha: Mladá fronta, 2017, 190s.

Bronchiální hyperreaktivita (BHR) je v současné době definována jako zvýšení citlivosti na širokou škálu podnětů vedoucích k zúžení dýchacích cest a již dlouho je uznávána jako charakteristický znak chronického astmatu. Kromě astmatu se však BHR vyskytuje se i u jiných respiračních chorob. BHR není jen patofyziologický fenomén v teoretickém smyslu slova, ale též praktická charakteristika, kterou lze testovat a využít k usměrnění diferenciálně diagnostické úvahy nebo k monitorování dlouhodobého průběhu onemocnění. BHR se nyní často měří inhalačními bronchoprovokačními testy, které mohou být velmi užitečné v diagnostice, stejně jako při sledování léčby. Bronchoprovokační testy poskytly cenný pohled na patogenezi a léčbu. Kniha je určena lékařům, kteří se zajímají o respirační medicínu bez ohledu na specializaci. Proto se tým autorů záměrně skládá z pneumologů, alergologů, pediatrů, patofyziologů a matematika, který se specializuje na lékařskou statistiku. Ve 22 kapitolách poskytují autoři interdisciplinární pohledy na komplexní charakterizaci fenoménu BHR, zejména s ohledem na klinickou praxi. Vedle teoretických kapitol je text zaměřen na různé metodologické aspekty testování bronchiální reaktivity.

Analýza dat z dotazníkových šetření.

Řezanková, Hana.

Praha: Professional Publishing, 2017, 225s.

Učebnice je zaměřena na statistické metody určené pro analýzu kategoriálních dat. Protože tato data jsou často výsledkem dotazníkových šetření, text se věnuje též návrhu dotazníku a přípravě dat. Výklad metod začíná analýzou jednotlivých proměnných, pokračuje analýzou vztahů pro dvě a tři proměnné. Z vícerozměrných metod jsou uvedeny principy a možnosti klasifikačních stromů, logistické regrese, shlukové analýzy, vícerozměrného škálování a korespondenční analýzy. Jsou zařazeny ukázky výpočtů jednak bez počítače, jednak a využitím programového systému IBM SPSS Statistics.

Distribution of Sequences: A Sampler (Electronic Revised Version December 8, 2016).

Strauch, O., Porubský, Štefan.

Wien: BOKU, 2016, 692s.

Modern Analysis of Biological Data. Generalized Linear Models in R.

Pekár, S., Brabec, Marek.

Brno: Masarykova univerzita, 2016, 226s.

The book is focused on regression models, specifically generalized linear models (GLM). It is intended for biology students and scholars and requires only basic statistical knowledge, gained e.g. in an one-semester course of biostatistics. The text includes a minimum of statistical theory and eighteen real examples from biology. Each example consists of a description of a problem, aims, development of statistical models, analysis, diagnosis, and conclusion. Analysis is performed using R. All examples were selected to show a variety of problems and potential pitfalls that can arise during statistical analysis. At the same time, examples show how to think about the statistical models and how to use them. Analyses can be practised by readers using the data that come with the book.

Handbook of Mathematical Fuzzy Logic - Vol. 3.

Cintula, Petr, Fermüller, C., Noguera, Carles.

London: College Publications, 2015, 384s.

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers. This handbook provides, through its several volumes, an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, that may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. This handbook will be useful not only for readers interested in pure mathematical logic, but also for those interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness. This third volume starts with three chapters on semantics of fuzzy logics, namely, on the structure of linearly ordered algebras, on semantic games, and on Ulam–Rényi games; it continues with an introduction to fuzzy logics with evaluated syntax, a survey of fuzzy description logics, and a study of probability on MV-algebras; and it ends with a philosophical chapter on the role of fuzzy logics in theories of vagueness.

Slabě implikativní logiky. Úvod do abstraktního studia výrokových logik.

Cintula, Petr, Noguera, Carles, Lávička, T..

Praha: Univerzita Karlova, Filozofická fakulta, 2015, 110s.