astronomy

Victor W. Marek

Victor W. Marek is a astronomy topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Victor W. Marek rather than just read about it. In short: Victor Witold Marek, formerly Wiktor Witold Marek known as Witek Marek (born 22 March 1943) is a Polish mathematician and computer scientist working in the fields of theoretical computer science and mathematical logic. Biography Victor Witold Marek studied mathematics at the Faculty of Mathematics and Physics of the University of Warsaw.

Key takeaways

Victor W. Marek belongs to astronomy; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Victor W. Marek to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Victor W. Marek from memory before moving on to harder problems.

Reference excerpt

Victor Witold Marek, formerly Wiktor Witold Marek known as Witek Marek (born 22 March 1943) is a Polish mathematician and computer scientist working in the fields of theoretical computer science and mathematical logic.

Biography Victor Witold Marek studied mathematics at the Faculty of Mathematics and Physics of the University of Warsaw. Supervised by Andrzej Mostowski, he received both a magister degree in mathematics in 1964 and a doctoral degree in mathematics in 1968. He completed habilitation in mathematics in 1972. In 1970–1971, Marek was a postdoctoral researcher at Utrecht University, the Netherlands, where he worked under Dirk van Dalen. In 1967–1968 as well as in 1973–1975, he was a researcher at the Institute of Mathematics of the Polish Academy of Sciences, Warsaw, Poland. In 1979–1980 and 1982–1983 he worked at the Venezuelan Institute of Scientific Research. In 1976, he was appointed an assistant professor of mathematics at the University of Warsaw. In 1983, he was appointed a professor of computer science at the University of Kentucky, where he retired in 2018 . In 1989–1990, he was a visiting professor of mathematics at Cornell University, Ithaca, New York. In 2001–2002, he was a visitor at the Department of Mathematics of the University of California, San Diego. In 2013, Professor Marek was the Chair of the Program Committee of the scientific conference commemorating Andrzej Mostowski's Centennial.

Legacy

Teaching He has supervised a number of graduate theses and projects. He was an advisor of 16 doctoral candidates both in mathematics and computer science. In particular, he advised dissertations in mathematics by Małgorzata Dubiel-Lachlan, Roman Kossak, Adam Krawczyk, Tadeusz Kreid, Roman Murawski, Andrzej Pelc, Zygmunt Ratajczyk, Marian Srebrny, and Zygmunt Vetulani. In computer science his students were V. K. Cody Bumgardner, Waldemar W. Koczkodaj, Witold Lipski, Joseph Oldham, Inna Pivkina, Michał Sobolewski [1], Paweł Traczyk, and Zygmunt Vetulani. These individuals have worked in various institutions of higher education in Canada, France, Poland, and the United States.

Mathematics He investigated a number of areas in the foundations of mathematics, for instance infinitary combinatorics (large cardinals), metamathematics of set theory, the hierarchy of constructible sets, models of second-order arithmetic, the impredicative theory of Kelley–Morse classes. He proved that the so-called Fraïssé conjecture (second-order theories of countable ordinals are all different) is entailed by Gödel's axiom of constructibility. Together with Marian Srebrny, he investigated properties of gaps in a constructible universe.

Computer science He studied logical foundations of computer science. In the early 1970s, in collaboration with Zdzisław Pawlak, he investigated Pawlak's information storage and retrieval systems, which then was a widely studied concept, especially in Eastern Europe. These systems were essentially single-table relational databases, but unlike Codd's relational databases were bags rather than sets of records. These investigations, in turn, led Pawlak to the concept of rough set, studied by Marek and Pawlak in 1981. The concept of rough set, in computer science, statistics, topology, universal algebra, combinatorics, and modal logic, turned out to be an expressive language for describing, and especially manipulating an incomplete information.

Logic In the area of nonmonotonic logics, a group of logics related to artificial intelligence, he focused on investigations of Reiter's default logic, and autoepistemic logic of R. Moore. These investigations led to a form of logic programming called answer set programming a computational knowledge representation formalism, studied both in Europe and in the United States. Together with Mirosław Truszczynski, he proved that the problem of existence of stable models of logic programs is NP-complete. In a stronger formalism admitting function symbols, along with Nerode and Remmel he showed that the analogous problem is Σ11-complete.

Publications V. W. Marek is an author of over 180 scientific papers in the area of foundations of mathematics and of computer science. He was also an editor of numerous proceedings of scientific meetings. Additionally, he authored or coauthored several books. These include:

Logika i Podstawy Matematyki w Zadaniach (jointly with Janusz Onyszkiewicz) Logic and Foundations of Mathematics in problems (jointly with Janusz Onyszkiewicz) Analiza Kombinatoryczna (jointly with W. Lipski), Nonmonotonic Logic – Context-dependent Reasoning (jointly with M. Truszczyński), Introduction to Mathematics of Satisfiability.

References

External links Personal page of Dr. V.W. Marek at the University of Kentucky Papers online Slides and other scientific materials

Worked examples

Example 1 — a first encounter with Victor W. Marek

Start with the simplest possible case. Write down what Victor W. Marek claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In astronomy, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Victor W. Marek before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Victor W. Marek ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Victor W. Marek

In research: Victor W. Marek appears in astronomy research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Victor W. Marek in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Victor W. Marek is common in secondary-school and first-year university syllabi. It links to neighbouring topics 1943 births, Living people, Polish computer scientists, so understanding it makes those chapters shorter.
In everyday life: Look for Victor W. Marek outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Victor W. Marek” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Victor W. Marek in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Victor W. Marek means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Victor W. Marek out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Victor W. Marek in simple terms?

Why does Victor W. Marek matter?

Because it connects several astronomy ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Victor W. Marek?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Victor W. Marek.