Põhiline teadus

Operaatori matemaatika ja loogika

Operaatori matemaatika ja loogika
Operaatori matemaatika ja loogika

Video: Vaba Akadeemia loeng 3.07.2020: Peeter Lorents “Loogikad - tõde ja õigus" 2024, Juuli

Video: Vaba Akadeemia loeng 3.07.2020: Peeter Lorents “Loogikad - tõde ja õigus" 2024, Juuli
Anonim

Operaator matemaatikas mis tahes sümbol, mis näitab sooritatavat toimingut. Näideteks on√x ruutjuur (mis näitab, et ruutjuur tuleb võtta) ja d / dx (mis tähistab diferentseerumist x suhtes). Operaatorit võib käsitleda funktsioonina, teisendusena või kaardina selles mõttes, et ta seob või “kaardistab” elemendid ühest komplektist teise komplekti elementidesse. Vaata ka automorfismi.

formaalne loogika: operaatorite määratletavus

Äsja öeldud reeglid võimaldaksid tabelis 3 loetletud esimesel De Morgani seadusel muuta mis tahes arvu wff-sid sisaldava wff-i