Anita Wasilewska's Books

Logics for Computer Science

Classical and Non-Classical

By: Anita Wasilewska

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logics for Computer Science

Classical and Non-Classical

By: Anita Wasilewska

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics. The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

540

Publisher

Springer

Published Date

ISBN 10

3319925911

ISBN 13

9783319925912

Britain and Poland 1939-1943

The Betrayed Ally

By: Anita Prazmowska

Write a review Read reviews Take a Quiz Solve Book Puzzle

Britain and Poland 1939-1943

The Betrayed Ally

By: Anita Prazmowska

Poland was a problematic issue for the Big Powers throughout the Second World War. For Britain, Poland was a major stumbling block in British-Soviet relations as Polish-Soviet territorial disputes clashed with the needs of the British-Soviet-United States alliance. As the Polish government-in-exile attempted to obtain a guarantee of British support, and many thousands of Polish troops fought for the British cause, the perception grew that the Churchill government had a debt to pay. Ultimately, however, it was a debt which Britain could not discharge because of its dependence on Soviet participation in the war. In this book Anita Prazmowska looks at British policies from the point of view of wartime strategy, relating this to Polish government expectations and policies. She describes a tragic situation where Polish soldiers were trapped between the grandiose and unrealistic plans of their government and the harsh realities of a war which they fought with no prospect of a satisfactory outcome for them or their country.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

256

Publisher

Cambridge University Press

Published Date

ISBN 10

0521483859

ISBN 13

9780521483858

Logics for Computer Science

Classical and Non-Classical

By: Anita Wasilewska

Write a review Read reviews Take a Quiz Solve Book Puzzle

Logics for Computer Science

Classical and Non-Classical

By: Anita Wasilewska

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

540

Publisher

Springer

Published Date

ISBN 10

3319925911

ISBN 13

9783319925912

The Formation of the Uzbek Nation-state

A Study in Transition

By: Anita Sengupta

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Formation of the Uzbek Nation-state

A Study in Transition

By: Anita Sengupta

The Formation of the Uzbek Nation-State is a detailed and insightful examination of the process of nation-state formation in the Central Asian region in the post-October revolution period, based on a case-study of Uzbekistan. Author Anita Sengupta examines the role of language and religion in the formation of the Uzbek nation-state and demonstrates the continuous transition involved in such a process.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

372

Publisher

Lexington Books

Published Date

ISBN 10

073910618X

ISBN 13

9780739106181

Symbols and the Image of the State in Eurasia

By: Anita Sengupta

Write a review Read reviews Take a Quiz Solve Book Puzzle

Symbols and the Image of the State in Eurasia

By: Anita Sengupta

This book discusses the significance of cultural symbols/‘images’ in the nation-building of Eurasian states that emerged out of the former Soviet Union. It particularly focuses on the cases of Uzbekistan and Kazakhstan in the post-Soviet era and argues that the relationship between nation- and image-building has been particularly relevant for Eurasian states. In an increasingly globalized world, nation-state building is no longer an activity confined to the domestic arena. The situating of the state within the global space and its ‘image’ in the international community (nation branding) becomes in many ways as crucial as the projection of homogeneity within the state. The relationship between politics and cultural symbols/ ‘images’, therefore acquires and represents multiple possibilities. It is these possibilities that are the focus of Symbols and the Image of the State in Eurasia. It argues that the relationship between politics and cultural symbols/ ‘images’, became particularly relevant for states that emerged in the wake of the disintegration of the Soviet Union in Central Asia. It extends the argument further to contend that the image that the state projects is largely determined by its legacy and it attempts to do this by taking into account the Uzbek and Kazakh cases. In the shaping of the post-Soviet future these legacies and projections as well as the policy implications of these projections in terms of governmentality and foreign policy have been decisive.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

145

Publisher

Springer

Published Date

ISBN 10

9811023921

ISBN 13

9789811023927

A History of Poland

By: Anita Prazmowska

Write a review Read reviews Take a Quiz Solve Book Puzzle

A History of Poland

By: Anita Prazmowska

Anita Prazmowska provides a wide-ranging survey of Poland's history; from early settlements, through the establishment of the Kingdom of Poland, to the present day modern state. This expanded second edition has been revised throughout in the light of the latest research, and brings the story right up to date. A new Bibliography also features.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

264

Publisher

Bloomsbury Publishing

Published Date

ISBN 10

0230344127

ISBN 13

9780230344129

Alfred Tarski

Life and Logic

By: Anita Burdman Feferman,Solomon Feferman

Write a review Read reviews Take a Quiz Solve Book Puzzle

Alfred Tarski

Life and Logic

By: Anita Burdman Feferman,Solomon Feferman

Publisher Description

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

442

Publisher

Cambridge University Press

Published Date

ISBN 10

0521802407

ISBN 13

9780521802406

Book's by Anita Wasilewska

Logics for Computer Science

Logics for Computer Science

Britain and Poland 1939-1943

Britain and Poland 1939-1943

Logics for Computer Science

Logics for Computer Science

The Formation of the Uzbek Nation-state

The Formation of the Uzbek Nation-state

Symbols and the Image of the State in Eurasia

Symbols and the Image of the State in Eurasia

A History of Poland

A History of Poland

Alfred Tarski

Alfred Tarski

Username

Password

Username

Password

Password again

Birthday

Email