1. előadás

(Majd elrendezem)

Bevezetés és követelmények

• Előadó: Tejfel Máté
• Email: matej@inf.elte.hu
• Lesz katalógus (ma nem)
• Fent lesznek az előadások Canvas-on

Gyakorlat és előadás külön

Ea-ból szóbeli vizsga

Bevezetés

"Mire számítsatok félévben? Logikára!" ~ Tejfel

Könyv: Varga Katalin Várterész Magda: A matematikai logika alkalmazászemléletű tárgyalása

Elsőrendű logika: egyszerű, konkrét állítások

Ítélet logika

Melyik tényleges állítás?

Viki szebb, mint Gréta. Nem: nem egyértelmű az alany, szubjektív

A német császár szőke. Nem: kb. jelen idő, nincs császár, nem egyértelmű

Kovács Géza magas. Nem: nem egyértelmű, ez is szubjektív (jó, lenne pl. ha 170 cm-nél magasabb)

Az ELTE IK dékánja hétfőn tart órát. Igen 🤍

Fogalmak

Halmazok direktszorzata: \(A \times B\)

Függvény

Függvény fajtái: egyváltozós, n változós, egészértékű stb.

Gondolkodásforma vagy következtetésforma

Egy \(F = \{A_1, A_2, \dots, A_n\}\) állításhalmazból és egy \(A\) állításból álló \((F, A)\) pár.

Helyes következtetésforma

Egy \(F = \{A_1, A_2, \dots, A_n\}\) állításhalmazból és egy \(A\) állításból álló \((F, A)\) pár helyes következtetésforma, ha létezik olyan eset, hogy az \(F\) állításhalmazban szereplő anyways, majd leírom.

Ítéletlogika abc-je

• Negáció: \(\neg\)
• Konjunkció: \(\land\)
• Diszjunkció: \(\lor\)
• Implikáció

(Most csak infix jelölés fogadunk el)

(Az és erősebb, mint a vagy)

(Implikáció gyengébb, mint az és)

Ha ugyazaz a műveleti jel van végig, akkorláncok jönnek létre

Szemantikus fa: szemléletesebb

Sidenote

• Adnovum cégnél Internship lehetőség
• banking, ensurance és ilyen dolgokkal foglalkoznak
• Svájci cég (Magyaroszágon)
• Sönhertz Iskolaszövetkezethez tartoznak
• Internship: 3.5 hónap
  • heti 24 óra
  • először pet project egy mentorral
  • aztán nagyrész egy nagyobb projektben való részvétel
• Kocsis Barnát lehet keresni