Language and Computers

ECTS Credits

15

Level of Study

Bachelor

Teaching semester

Spring

Place of Instruction

Bergen

Objectives and Content

This course treats the formal foundations for the description of language and computational methods for processing language. The aim is to enable students to think in a mathematically precise way when characterizing a language, and to use computer tools to process written language.

The course gives an introduction to formal methods in linguistics. It also gives an introduction in digital encoding of text, in electronic language resources (in particular, corpora), in language processing and in language technology applications. This course is targeted at students in linguistics, language studies, computer science, information science, artificial intelligence and cognitive science.

Learning Outcomes

Upon successful completion of the course, the student will be able to:

• explain basic formal methods that are used in research and development of syntax, semantics and natural language processing, e.g. graphs and trees, automata, formal grammars, language classification in the Chomsky hierarchy, algorithms and complexity;
• explain important thinking about automata, grammars and formal languages, e.g. the pumping lemma;
• write simple correct programs for manipulating textual data;
• write regular expressions for search and replacement in text;
• extract information from text on the world wide web;
• use induction as a proof method;
• use correct mathematical formulas:
• use text corpora as empirical material;
• assess text on the world wide web as data;

Required Previous Knowledge

None

Recommended Previous Knowledge

EXFAC00SK or equivalent.

Credit Reduction due to Course Overlap

MNF130 10 credits, DASP107 5 credits, DASP130 10 credits.

Access to the Course

This course is open to all who have been accepted as students at the University of Bergen.

Teaching and learning methods

Lectures (about 26 hours per semester), individual study and exercises.

If fewer than five students are registered to a course, the department might reduce the teaching, please see the department's guidelines regarding this on "Mitt UiB". For courses where this is a possibility, the students get information about this at the beginning of the semester, and before the deadline regarding semester registration February 1 / September 1.

Compulsory Assignments and Attendance

The candidate must hand in two obligatory assignments, which must be carried out and approved in the semester of teaching. Obligatory learning activities must be approved before one can take the exam in the course. Approval remains valid for three semesters in total, including the semester of teaching.

Forms of Assessment

Digital 5-hour written exam.

Examination Support Material

All aids are allowed.

Grading Scale

A-F

Assessment Semester

Spring. There is also an exam early in the fall semester for students with valid and approved obligatory assignments.

Reading List

The literature consists mainly of descriptions of formal and computational methods, including guidelines for and examples of programming, about 400 pages.

Course Evaluation

Evaluation of the offered course will be carried out in accordance with the University of Bergen's quality assessment system.