This book facilitates understanding of how artificial intelligence (AI) aids and integrates digital transformation (DT) in education institutions worldwide in various scenarios: learning environments (learning innovation, learning management systems, data and analytics), emerging education trends (business trends, strategic technologies), administrative systems (recruit, retain, advance, enterprise business capabilities, student information systems), and digital strategy execution (business models and opportunities, strategic planning and governance). It serves as a reference for university lecturers, schoolteachers, policymakers, and international organizations, who will find in its various chapters practical recommendations and discoveries from practice, ready to be implemented in their contexts.

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe­ matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs). A short digression into model theory will help us to analyze the expres­ sive power of the first-order language, and it will turn out that there are certain deficiencies. For example, the first-order language does not allow the formulation of an adequate axiom system for arithmetic or analysis. On the other hand, this difficulty can be overcome–even in the framework of first-order logic-by developing mathematics in set-theoretic terms. We explain the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic and set theory in a thorough manner.

There is an increasing need for the food industry to provide information to ensure quality requirements and prevent the food fraud, applying in-situ and on-line technologies for full process control along the food chain. In today's information age, consumers want to be able to have as much information as possible about products quickly and efficiently. Therefore, the rapid detection of indicators that determine food quality and safety risks helps to ensure an effective and comprehensive food sovereignty system. For this purpose, the most powerful and commonly used analytical techniques are liquid or gas chromatography, both coupled to different detection systems. The use of these analytical techniques involves long analysis times and prior procedures of fitness for measuring such as sample pre-treatment, in which the use of reagents and chemical solvents that may be hazardous or harmful to the environment is common. These facts highlight the need for the development of new analytical methods that offer the possibility of rapid, non-invasive, on-site, environmentally friendly analyses that can be carried out along the entire production chain. In addition, recent technological developments and advances in data mining and machine learning offer the opportunity to introduce changes that could transform the role of food integrity.

Come sosteneva lo psicologo Paul Watzlawick, non è possibile non comunicare. Anche se dovessimo rimanere immobili e in silenzio, la nostra postura, il nostro abbigliamento e molto altro finirebbero inequivocabilmente per parlare di noi. Ecco perché la comunicazione è una parte fondamentale della nostra esistenza. Questo libro ti svelerà i vari aspetti dei meccanismi comunicativi, per creare relazioni di qualità con gli altri, imparare ad ascoltarli nel modo giusto, capirli meglio e, quindi, comunicare in modo più efficace e soddisfacente. Scoprirai come le parole (e non solo) possono cambiare la vita, sia in ambito privato che pubblico e professionale.