Wyniki wyszukiwania - BazTech

1

Lexis of climate phenomena in social sciences students’ daily discourse

Tłokiński Waldemar

Oceanologia

|

2020

|

No. 62 (4PB)

603--607

EN

An academic degree gained in the field of social sciences also means more extensive knowledge of the surrounding world understood as the natural environment crucial in defining the position and development of humankind. Interpersonal communication, apart from the colloquialisms related to climate phenomena (weather), shows an evolving state of knowledge of the topic, changing attitudes, and possible stances formulating the need for change. Opinion polls conducted among 150 social science students comprise the source material for the lexicological analysis in the areas of the knowledge, time, and responsibility (related to environmentalism and climate) indicating that attitudes towards the natural environment are present in communicative behaviours.

2

Learning software for handling the mathematical expressions

Steingartner W., Yar-Muhamedov I.

Journal of Applied Mathematics and Computational Mechanics

|

2018

|

Vol. 17, nr 2

77--91

EN

Educating young software engineers and IT experts is a great challenge nowadays. Still new technologies are used in a practical approach and many of them come from formal methods. To help future software experts in the understanding of formal methods grounded in semantics, learning software that illustrates and visualizes important techniques seems to be very fruitful. In this paper, we present software, which handles the arithmetic and Boolean expressions, their analysis, evaluation, drawing the syntax tree and the other techniques with the expressions. This software is devoted as a teaching tool for teachers when explaining appropriate theory and for students for self-studying and making their own experiments. Furthermore, this software is an integral part of our software package for several semantic methods.

3

On Some Crypto-messages Parser

Kurkowski M., Małek J., Orzechowski M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2006

|

Vol. 11

59--66

EN

Some methods of automatic verification of cryptographic protocols require creating specially designed formal languages based on suitable algebra of terms (called crypto-terms or crypto-messages). Sometimes in verification process it is essential to check whether a given crypto-term is a sub term of another one or in general whether some crypto-term belongs to the specified crypto-Language (a set of some crypto-terms) or not. Another problem is creating the set of all ant chains of subterms of a given term wit h respect to the order introduced by a subterm relation. The main goal of this paper is to present a tool for verification whether crypto-term belongs to the specified crypto-language or not. Our main purpose is to check lexical analysis and syntax analysis. Finally, after checking that a crypto-sentence is correct, we convert it into the special format, purpose was to check lexical analysis and syntax analysis. For our investigation Flex and Bison - the well known grammar tools – have been used. We believe that our tool will be usefull in research on the topic of symbolic verification of cryptographic protocols.