computer science

Institute for Logic, Language and Computation

Institute for Logic, Language and Computation is a computer science 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 Institute for Logic, Language and Computation rather than just read about it. In short: The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. The ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information.

Key takeaways

Institute for Logic, Language and Computation belongs to computer science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Institute for Logic, Language and Computation to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Institute for Logic, Language and Computation from memory before moving on to harder problems.

Reference excerpt

The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. The ILLC's central research area is the study of fundamental principles of encoding, transmission and comprehension of information. Emphasis is on natural and formal languages, but other information carriers, such as images and music, are studied as well. Research at the ILLC is interdisciplinary, and aims at bringing together insights from various disciplines concerned with information and information processing, such as logic, mathematics, computer science, computational linguistics, cognitive science, artificial intelligence, and philosophy. It is organized in the three groups Logic & Computation (project leader: Yde Venema), Logic & Language (project leader: Robert van Rooij), and Language & Computation (project leader: Jelle Zuidema) united by the key themes Explainable and Ethical AI, Interpretable Machine Learning for Natural Language Processing, Cognitive Modelling, Logic, Games and Social Agency and Quantum Information and Computation. The ILLC is involved in several international collaborations among which we highlight the Joint Research Centre for Logic (JRC), a special collaborative partnership between Tsinghua University and the University of Amsterdam. In addition to its research activities, the ILLC is running the Graduate Programme in Logic with a PhD programme and the MSc in Logic, an international top-ranked and interdisciplinary MSc degree in logic (MSc Logic webpage). In September 2018, the institute opened the Minor in Logic and Computation, welcoming local and international bachelor students. The programme of the Minor in Logic and Computation consists of 30 EC, chosen from a list of high-profile courses organised according to four themes: Mathematics, Philosophy, Theoretical Computer Science, and Computational Linguistics and AI.

History The ILLC started off in 1986 as Instituut voor Taal, Logica en Informatie (ITLI; Institute for Language, Logic and Information). In the beginning, it was an informal association of staff members from the Faculty of Mathematics and Computer Science and the Faculty of Philosophy, and was joined by computational linguists from the Faculty of Humanities in 1989. In 1991 the institute was officially established as a University Research Institute. During 1991–1996 the programming research group of the Faculty of Mathematics and Computer Science was also part of the institute. The Applied Logic Lab from the Faculty of Social Sciences was part of the ILLC from 1996 to 2003. Other groups in computer science and cognitive science have associated themselves with the institute in 1996. The ILLC is rooted in the Amsterdam logic research tradition dating back to the early twentieth century (including researchers such as L.E.J. Brouwer, Arend Heyting, and Evert Willem Beth). It considers Beth's Instituut voor Grondslagenonderzoek en Filosofie der Exacte Wetenschappen (founded in 1952) as its precursor.

Directors

Members Other notable members and past members include:

See also Korteweg-de Vries Institute for Mathematics Centrum Wiskunde & Informatica

External links Official website

Worked examples

Example 1 — a first encounter with Institute for Logic, Language and Computation

Start with the simplest possible case. Write down what Institute for Logic, Language and Computation claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In computer science, 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 Institute for Logic, Language and Computation 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 Institute for Logic, Language and Computation 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 Institute for Logic, Language and Computation

In research: Institute for Logic, Language and Computation appears in computer science 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 Institute for Logic, Language and Computation 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: Institute for Logic, Language and Computation is common in secondary-school and first-year university syllabi. It links to neighbouring topics Cognitive science research institutes, Computer science institutes in the Netherlands, Logic organizations, so understanding it makes those chapters shorter.
In everyday life: Look for Institute for Logic, Language and Computation 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 “Institute for Logic, Language and Computation” →

Affiliate

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

How to study Institute for Logic, Language and Computation in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Institute for Logic, Language and Computation 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 Institute for Logic, Language and Computation out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Institute for Logic, Language and Computation in simple terms?

Why does Institute for Logic, Language and Computation matter?

Because it connects several computer science 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 Institute for Logic, Language and Computation?

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 Institute for Logic, Language and Computation.