Quicklinks

230010 Formale Methoden 2 (S) (SoSe 2020)

Inhalt, Kommentar

Die Veranstaltung findet statt.

Während des reinen Onlinelehrezeitraums haben Studierende im ausgewiesenen wöchentlichen Zeitfenster (Mittwoch 14-16 Uhr) Gelegenheit, in Gruppen von bis zu vier Personen in einem geschlossenen Meetingraum im Gespräch mit dem Dozenten gezielt gestellte Fragen zu den im Ablaufplan vorgesehenen Skriptinhalten und dazugehörigen Übungen zu klären. Weitere Erläuterungen hierzu und zu anderen Kursmodalitäten finden sich im LernraumPlus zur Veranstaltung.

Gegenstand dieser Veranstaltung sind Aussagen- und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzung sind lediglich Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 vermittelt werden. Alles Weitere wird zur Verfügung gestellt.

Es existiert eine große Literaturauswahl zum Gegenstand. Das veranstaltungsbegleitende Skript deckt allerdings alle behandelten Themen und Inhalte ab.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 vermittelt werden, werden vorausgesetzt.

Lehrende

Herr apl. Prof. Dr. Jens Michaelis

Termine (Kalendersicht )

Rhythmus	Tag	Uhrzeit	Format / Ort	Zeitraum

Zeige vergangene Termine >>

Klausuren

Keine gefunden

Fachzuordnungen

Modul	Veranstaltung	Leistungen
23-LIN-BaLin5 Linguistik Orientierungsmodul	Linguistik Orientierungsveranstaltung	Studienleistung	Studieninformation
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie	Formale Methoden 2	Studienleistung	Studieninformation
23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik)	Formale Methoden 2	Studienleistung	Studieninformation

Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.

Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden

Lernraum
Lernraum (E-Learning) Zu dieser Veranstaltung existiert ein Lernraum im E-Learning System. Lehrende können dort Materialien zu dieser Lehrveranstaltung bereitstellen: Lernraum (E-Learning)

Lernraum

Teilnehmer*innen
registrierte Anzahl : 18 Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzerinnen. Abruf der Liste der Teilnehmerinnen : Lehrende und ihre Sekretariate können sich die Liste der im eKVV registrierten Teilnehmer*innen über die passwortgeschützen eKVV Seiten abrufen: Meine Veranstaltungen Falls Sie noch keinen BIS Zugang besitzen oder generelle Hinweise zum Abrufen und zum Umgang mit den Teilnahmelisten suchen nutzen Sie unsere Hilfeseite Dort finden Sie auch Informationen dazu, wie Sie aus einer Teilnahmeliste die Ergebnisliste für die Prüfungsdokumentation erstellen und wie Sie diese an die Prüfungsämter übermitteln können.

Teilnehmer*innen

Automatischer E-Mailverteiler der Veranstaltung
Adresse : SS2020_230010@ekvv.uni-bielefeld.de Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmerinnen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen. Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmerinnen genau dieser Veranstaltung zu erreichen: VST_195813579@ekvv.uni-bielefeld.de Reichweite : 18 Studierende direkt per E-Mail erreichbar Hinweise : Weitere Hinweise zu den E-Mailverteilern

Automatischer E-Mailverteiler der Veranstaltung

Änderungen/Aktualität der Veranstaltungsdaten
Letzte Änderung Grunddaten/Lehrende : Donnerstag, 31. Oktober 2019 Letzte Änderung Zeiten : Dienstag, 11. Februar 2020 Letzte Änderung Räume : Dienstag, 11. Februar 2020

Sonstiges
Art(en) / SWS S / 2 Einrichtung Fakultät für Linguistik und Literaturwissenschaft Fragen oder Korrekturen? Fragen oder Korrekturwünsche zu dieser Veranstaltung? Planungshilfen Terminüberschneidungen für diese Veranstaltung Link auf diese Veranstaltung Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird! Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig: https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=195813579 Seite zum Handy schicken Klicken Sie hier, um den QR Code zu zeigen Scannen Sie den QR-Code: ID 195813579

Sonstiges