Vita:Kielégíthetőségi modulo elméletek

Ez a szócikk témája miatt az Informatikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Bővítendő Ez a szócikk bővítendő besorolást kapott a kidolgozottsági skálán. Közepesen fontos Ez a szócikk közepesen fontos besorolást kapott a műhely fontossági skáláján. Értékelő szerkesztő: Pkunk (vita), értékelés dátuma: 2023. november 21.

Informatikai szócikkek

Wikipédia:Cikkértékelési műhely/Index

A névről

Ha a magyar szaknyelvben SAT modulo elmélet a neve, akkor az egész cikkben és a szócikk címében is változtatni kell. De egyelőre ezt csak egy szerk. összefoglalóban olvastam, forrás nem került be róla. Vépi ^vita 2022. június 18., 13:15 (CEST)

Nem tudom, hogy van-e a magyar szaknyelvben hivatalos neve, de a "Kielégíthetőségi modulo elméletek" biztosan egy rossz fordítás, hiszen az angol név által hordozott értelmet pont elhagyja. A "Satisfiability Modulo Theories"-t a következőképp kell értelmezni: van először is a satisfiability (SAT), azaz kielégíthetőségi probléma. Az SMT pedig a SAT vizsgálata bizonyos elméletek (pl. lineáris aritmetika, vagy bitvektorok elméletének) tükrében. Vagyis a modulo itt nem egy matematikai fogalom, hanem csak arra utal, hogy az utána következő kifejezés ("theories") keretein belül kell kezelni az előtte álló kifejezést (a SAT problémát).

Akármi is a hivatalos magyar név - hacsak a Wikipédia konvenciók mást nem diktálnak - mindenképp beírnám a magyar címbe a végére zárójelben az SMT rövidítést, hiszen ez az általános megnevezése a problémának, egy magyar nyelvű felhasználó is ez alapján fogja keresni. 2001:4C4E:1E99:5900:5131:FD0D:DDD7:4B8E (vita) 2024. december 7., 00:36 (CET)

A Wikipédia-konvenciók alapján, ha van egy magyar cím, utána már nem kell zárójelben semmi. AZ SMT rövidítésről viszont lehetne átirányítást készíteni, akkor erről is meg lehet találni. De előbb keressük tovább a megfelelő magyar szakkifejezést. Vépi ^vita 2024. december 7., 05:12 (CET)