Niebawem zacznę studia, a wraz z tym zdarzeniem zacznie się matma do której nie jestem przekonany. Szczególnie nudna wydaje mi się logika. Chciałbym się od was dowiedzieć, czy znacie jakieś praktyczne (niekoniecznie programistyczne) zastosowania tego działu matematyki.
Kilka faktów sam skojarzyłem z tą logikę i poniżej wymieniam kilka przykładów. Gdyby ktoś mógł dopisać coś do tej listy, byłby fajnie.
1. wyrażenia logiczne w if'ach
Przykład marny, ale kilku programistów się na to powołuje, że niby prawa de morgana potrafią uprościć zapis wyrażeń logicznych. Mając doświadczenie w wysokopoziomowym programowaniu, tego typu kwestia jakoś nigdy mi się nie przydała, bo w typowych programach zwykle mam banalne warunki w konstrukcjach sterujących.
2. programowanie w logice, systemy ekspertowe itp
Przez godzinę używałem Prologa i czytałem tutorial na jego temat. Sprawa na pierwszy rzut oka ma się następująco. Jest dwa etapy. Pierwszy polega na opisywaniu relacji między obiektami. System po otrzymuje tych relacji, chyba je uzupełnia o dodatkowe reguły na podstawie wnioskowania. Potem zachodzi drugi etap w którym programista ma możliwość odpytywania bazy danych. Jest to trochę podobne do SQL, ale zrobiło to na mnie lepsze wrażenie.
Dzięki takiemu programowaniu można tworzyć systemy ekspertowe, które na podstawie podanej wiedzy mogą udzielić odpowiedzi na zadawane pytania, np. z zakresu medycyny.
**3. projektowanie bramek logicznych **
Kiedyś znajomy student powiedział mi, że wykładowca zadał im ćwiczenie utworzenia pozostałych operatorów logicznych na podstawie chyba dwóch wskazanych. Nie pamiętam jakie to były, ale wniosek był taki, że dzięki logice można zaprojektować taki układ bramek logicznych taniej. Nie wiem ile w tym prawy, ile fałszu, ale przykład podaje, bo trochę mnie zastanawia.
**4. szachy? **
Trochę mnie to zastanawia, ale kiedyś na okładce rozdziału logiki w podręczniku od liceum był obrazek szachów. Tak mnie zastanawia, czy taka wiedza można wykorzystać w grach? Np. karcianych, czy wspomnianych szachach?
Czekam na wasze opinie.