Tytuł Jak wnioskują maszyny
Autor Andrzej Szałas
Opis Wykład jest poświęcony wprowadzeniu do logiki z perspektywy jej zastosowań w informatyce i sztucznej inteligencji. Poruszane treści obejmują następujące zagadnienia: ■ wprowadzenie do logiki jako nauki o modelowaniu świata rzeczywistego i wnioskowaniu o nim; ■... Wykład jest poświęcony wprowadzeniu do logiki z perspektywy jej zastosowań w informatyce i sztucznej inteligencji. Poruszane treści obejmują następujące zagadnienia: ■ wprowadzenie do logiki jako nauki o modelowaniu świata rzeczywistego i wnioskowaniu o nim; ■ klasyczny rachunek zdań (składnia, semantyka spójników logicznych); odniesienie do zbiorów i użycie diagramów Venna, jako metody wnioskowania; ■ wyszukiwanie a wnioskowanie na przykładzie wyszukiwarki internetowej Google; ■ automatyczne wnioskowanie (informacja o metodzie rezolucji dla rachunku zdań). Wszystkie zagadnienia są ilustrowane przykładami, w tym związanymi z robotyką i sztuczna inteligencją. Od słuchaczy nie wymaga się żadnej wstępnej wiedzy z zakresu logiki i matematyki.
Numer konkursu 1/POKL/3.3.4/08
Numer projektu POKL.03.03.04-00-052/08-00
Nazwa projektu Informatyka+ ponadregionalny program rozwijania kompetencji uczniów szkół ponagimnazjalnych w zakresie technologii informacyjno-komunikacyjnych (ICT)
Beneficjent (nazwa) Warszawska Wyższa Szkoła Informatyki
Lokalizacja beneficjenta (miasto) Warszawa
Słowa kluczowe informatyka, maszyny, wnioskowanie