2019. december 9., hétfő English version

Egyetemi tanrend

*Tanrendi kereső

Kérjük, írja be a keresett adat (kurzuskód címe, kódja, oktató, tanszék, szak vagy képzési program neve) első betűit.

Részletes keresési feltételek

Felfed / Elrejt

Kurzuskód-adatlap

Ciklus:
2017-2018-1
Kurzuscím:

Nyelv és logika

Kurzuskód:
BAVÁL1-12
Kurzus típusa:
_Szeminárium, _Gyakorlati jegy
Mikor:
Hol:
Tantárgy:
BAVÁL, Választható bölcsészettudományi stúdium
Tárgyelem:
BAVÁL, Választható bölcsészettudományi stúdium
Oktató(k):
Óraszám:
heti 2.00
Kreditek száma:
2
Maximális létszám:
10
Speciális jelzők:
nincsenek
Leírás:

A világról való tudásunk átadása valamilyen nyelve történik: elmondjuk, hogy milyennek tapasztaltuk a világot, érvelünk, meggyőzzük a másikat, hogy a világ tényleg olyan, amilyennek elmondjuk, még ha az a másik nem is tapasztalta azt meg. Az emberi nyelvek kifejezései azonban nem mindig kellően egyértelműek és világosak, ezért a tudományos megismeréshez és érveléshez a természetes nyelveknél formálisabb nyelvet használnak, valamilyen logikai nyelvet. A kurzus célja az alapvető logikai nyelvek bemutatása, hogy segítségükkel a természetes nyelvi szemantikai problémák kifejezésére alkalmas logikai nyelvet nyerjünk.


Tematika:



  • Formális rendszerek és modellek.

  • A kijelentéslogika szintaxisa és szemantikája.

  • A kijelentéslogika törvényei.

  • A logikai következményfogalom, a kijelentéslogika következtetési sémái.

  • Nulladrendű predikátumlogika (individuumváltozót nem tartalmazó elsőrendű logika).

  • A nyelvek leírásához használt alapvető halmazelméleti és algebrai fogalmak: halmazok, halmazműveletek, relációk, függvények.

  • Elsőrendű predikátumlogika


Követelmények: órai részvétel, valamint a 2 ZH meírása.


Irodalom:



  • Alberti Gábor: Matematika a természetes nyelvek leírásában. Tinta Könyvkiadó. Budapest, 2006.

  • Barbara Partee - Alice ter Meulen - Robert E. Wall: Mathematical Methods in Linguistics. Kluwer Academic Publishers. Dordrecht/Boston/London, 1990.

Képzésfüggő adatok:
Utolsó frissítés dátuma: 2017.04.07. 12:52

Súgó

 
Ezen az oldalon az egyetem ETR tanulmányi rendszerében meghirdetett kurzusok közt kereshet és böngészhet. Az ETR-ből az adatok időszakosan kerülnek áttöltésre, ennek időpontját az „Utolsó frissítés dátuma” szövegnél ellenőrizheti. Fontos, hogy csak azok a képzések, szakok, oktatók stb. jelennek meg itt, amelyekhez (akikhez) az adott félévben már történt az ETR-ben kurzushirdetés. A teljes egyetemi szakkínálatról a felvi.hu oldalain, vagy az egyes karok honlapján tájékozódhat.
 
Először az egyetemi félévet kell kiválasztania, ez az oldal tetején a „… félév ETR-tanrend” felirat melletti balra <<<, ill. jobbra >>> mutató hármas nyílhegyekkel lépegetve lehetséges. Magán a feliraton való kattintás az oldalt alapállapotba állítja.
 
A „Tanrendi kereső” mezőbe írt szöveggel általános keresést végezhet egy lépésben a képzési programok, kurzuskódok, oktatók, szakok és tanszékek közt.
 
Ha a „Részletes keresési feltételek” dobozt a jobbra mutató kettős >> nyílheggyel kinyitja, akkor több szempontú keresést indíthat, ha a megfelelő mezőkre való kattintás után megjelenő listákból a kívánt tételeket (feltételenként egyet) kiválasztja. A lekérdezéshez kijelölt szempontokat a „Kiválasztott keresési feltételek” rész után ellenőrizheti.
 
A „Tanrendi böngésző” részben keresés nélkül, rendezett listákat áttekintve tájékozódhat a féléves tanrendben. A böngészést több kiinduló szempont szerint lehet elkezdeni (oktatók, szakok, képzési programok, tanszékek, ill. karok).
 
A böngésző és a kereső többoszlopos eredménylistái általában a különböző oszlopok szerint átrendezhetők: ehhez a megfelelő oszlopnévre kell kattintania (egyszer az emelkedő, kétszer a csökkenő sorrendhez). Az aktuális rendezettséget a fel- vagy lefelé mutató kettős nyílhegy mutatja az oszlopnévben.
 
A listák sorainak a végén található jobbra mutató kettős >> nyílhegyek rendszerint a megfelelő adat ETR-beli nyilvános adatlapját mutatják meg. Az ezen való továbblépés esetén előfordulhat, hogy egy link már védett, nem nyilvános oldalra vezet, ilyenkor az ETR-es bejelentkező képernyő jelenik meg. Ekkor vagy lépjen vissza a böngészője megfelelő gombjával, vagy jelentkezzen be az ETR-be, ahol az adatlekérést a védett oldalakon is folytathatja.
 
A „Képzési programok szerinti kurzuskódlista” képernyőn két adat rövidítetten kerül megjelenítésre. Ezek feloldása:
Képzési forma (szint)
 
Tagozat
0
Nem releváns
 
E
Esti
A
Alapképzés
 
K
Képzőhelyen kívüli
B
Bachelorképzés
 
L
Levelező
E
Egységes osztatlan képzés
 
N
Nappali
F
Felsőfokú szakképzés
 
T
Távoktatás
K
Kiegészítő alapképzés
 
 
 
M
Mesterképzés
 
 
 
P
Doktori képzés
 
 
 
S
Szakirányú továbbképzés
 
 
 
X
Egyéb képzés
 
 
 
 
Bezár