230015 Formale Methoden 2 (S) (SoSe 2016)
Inhalt, Kommentar
-
Der Inhalt dieser Vorlesung ist: Aussagenlogik und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzungen sind lediglich Kenntnisse in Formale Methoden I. Alles Weitere wird zur Verfügung gestellt.
Es gibt Literatur, aber das Skript deckt alle behandelten Themen und Inhalte ab.
Teilnahmevoraussetzungen, notwendige Vorkenntnisse
-
Kenntnisse in Formale Methoden 1 werden vorausgesetzt.
Lehrende
Termine ( Kalendersicht )
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
|---|
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 |
| 25-FS-EM Einführungsmodul | E2: Einführende Veranstaltung aus den Fakultäten | Studieninformation | |
| E3: Einführende Veranstaltung aus den Fakultäten | Studieninformation | ||
| 25-FS-GM Grundlagenmodul | E2: Einführende Veranstaltung aus den Fakultäten | Studieninformation | |
| E3: Einführende Veranstaltung aus den Fakultäten | 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.
| Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
|---|---|---|---|---|---|---|---|
| Frauenstudien | (Einschreibung bis SoSe 2015) | ||||||
| Studieren ab 50 |
Keine Konkretisierungen vorhanden
Kein Lernraum vorhanden
- registrierte Anzahl: 44
- Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
- Adresse:
- SS2016_230015@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 Veranstaltungsteilnehmer*innen 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 Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_65410429@ekvv.uni-bielefeld.de
- Reichweite:
- 17 Studierende direkt per E-Mail erreichbar
- Hinweise:
- Weitere Hinweise zu den E-Mailverteilern
- Letzte Änderung Grunddaten/Lehrende:
- Freitag, 11. Dezember 2015
- Letzte Änderung Zeiten:
- Mittwoch, 3. August 2016
- Letzte Änderung Räume:
- Mittwoch, 3. August 2016
- 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=65410429
- Seite zum Handy schicken
-
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code:
- ID
- 65410429
Zum Seitenanfang