i logik: se under ekvivalens.
Arkiv: Ord
Här lägger man in ett ord i ordlistan
logisk ekvivalens
det att två påståenden beskriver samma sakförhållande. Kallas också för semantisk ekvivalens. Det skrivs i formell logik med likhetstecken: A=B, vilket kan utläsas: ”A är logiskt ekvivalent med B”. Innebörden är ju samma som i matematik. Enkelt exempel: ”Carl XVI Gustaf är kung av Sverige” är logiskt ekvivalent med ”Kungen av Sverige heter Carl XVI Gustaf”. – Logisk ekvivalens ska skiljas från materiell ekvivalens, som i logik ofta kallas för bara ekvivalens eller tautologisk ekvivalens. Materiell ekvivalens innebär att av två påståenden är antingen båda sanna eller båda falska (oavsett vad det beror på). Om två påståenden är logiskt / semantiskt ekvivalenta, det vill säga uttrycker samma sak på olika sätt, måste de också vara materiellt / tautologiskt ekvivalenta. Men motsatsen gäller inte alltid. ”Strömbrytaren är på” kan vara materiellt / tautologiskt ekvivalent med ”lampan lyser”, men de två påståendena behöver inte uttrycka samma sakförhållande (strömbrytaren kan ju vara på, men lampan trasig) och är alltså inte logiskt / semantiskt ekvivalenta. – På engelska: logical equivalence.
[logik] [ändrad 3 juli 2019]
logik
- – konsten att dra säkra slutsatser. – Logik behandlar sambandet mellan påståenden och argument som är sanna, falska eller osäkra. Inom datorvetenskap är det främst formell logik som är viktig. Formell logik är logik som kan uttryckas med logiska symboler, och som kan ses som ett slags matematik (se boolesk, sanningsvärde och sanningvärdestabell). I formell logik utgår man enbart från påståenden som kan uttryckas som logiska formler, och tar inte hänsyn till yttre omständigheter – jämför med inferens. Att man behärskar formell logik är en förutsättning för att man ska kunna programmera: datorer vet ju bara det som man talar om för dem;
- – kretsar, instruktioner och regler som är tillämpad logik. – Affärslogik är till exempel de regler som är inbyggda i ett affärssystem, och som delvis automatiserar affärsprocesserna. – Läs också om logisk.
[logik] [ändrad 8 februari 2021]
HPU ⇢
holographic processing unit
(HPU) – ett slags processor som är konstruerad för att bearbeta holografiska bilder. Alltså för att läsa in digitala filer som beskriver holografiska bilder och omvandla dem till instruktioner till en holografisk visningsanordning. Det kan ses som en specialiserad signalprocessor.
[sidoprocessorer] [ändrad 24 augusti 2016]
Hello
- – se Windows Hello;
- – ett avvecklat socialt nätverk för bilder. – Hello startades 2016 av Orkut Büyükkökten, som tidigare startade nätverket Orkut† på Google. Användarna publicerade bilder, som kunde ha kort text, men det gick inte att publicera rena textmeddelanden. Tjänsten lades ner 2022. – Se hello.com.
[biometri] [nerlagt] [sociala nätverk] [ändrad 12 mars 2023]
swesub
kort för Swedish subtitles, svenska undertexter. Uttrycket syftar ofta på undertexter som läggs till på kopior av filmer, utan tillstånd av filmbolaget. – Swesub är också, eller har varit, namnet på flera sajter som visar långfilmer med svenska undertexter, till exempel swestream.to. – Läs också om undertexter.se och textdelning.
[kultur och underhållning på webben] [ändrad 10 november 2019]
undertexter.se
en stängd webbsajt som spred svenska undertexter till filmer på främmande språk. (Så kallad textdelning.) – Undertexterna skrevs av oavlönade frivilliga. – Sajten undertexter.se stängdes 2013, efter anmälan från Rättighetsalliansen, vid en polisrazzia då sajtens servrar beslagtogs. (Det finns numera en sida på samma domän – se undertexter.se.) – I maj 2016 väcktes åtal mot mannen bakom sajten. Åtalet gällde undertexter till 74 filmer. Åklagaren påstod att spridningen av undertexter var intrång i upphovsrätten. Domstolen (Attunda tingsrätt i Sollentuna, mål B 5465-13) fann att undertexter är en del av filmen som konstnärlig helhet, och att publicering av undertexter skrivna av utomstående därför kränker upphovsrätten. (Enligt ett expertvittne var många av undertexterna dessutom dåliga, ibland obegripliga.) Den åtalade dömdes i september 2017 till skyddstillsyn, och de 217 000 kronor som han beräknas ha tjänat på verksamheten ska förverkas. – Se också swesub. (Bredvidläsning: se denna tråd på Reddit.)
– In English: undertexter.se was a Swedish web site that published Swedish-language subtitles for feature movies. The site was closed by the police in 2013 and in September, 2017, the person responsible for the site was sentenced to probation and to forfeit 217 000 Swedish kronor that he made from the illegal activity. The court found that subtitles are part of the movie as a creative work and that publishing non‑authorized subtitles therefore constitutes copyright infringement. (Besides, an expert witness found some of the subtitles to be not only bad, but virtually incomprehensible.) – For more summaries in English, click here.
[nerlagt] [rättsfall och skandaler] [upphovsrätt] [ändrad 12 februari 2020]
StegIbiza
en algoritm för att dölja meddelanden med musik. Alltså ett slags steganografi. – Meddelandena kodas som små förändringar i tempot i danslåtar med markerat, statiskt tempo. Förändringarna i tempo är mindre än en procent. Test på dansgolvet visar att ingen av de dansande märker att tempot förändras, men en dator kan uppfatta förändringarna och tolka dem. – StegIbiza har utvecklats av den polska forskaren Krzysztof Szczypiorski och presenterades 2016. Namnet innehåller steg som i steganografi och Ibiza efter dansställena. – Läs mer i denna artikel.
[kryptering] [musik] [ändrad 3 oktober 2021]
cassette interface
kassettgränssnitt (för datalagring) – i de äldsta hobbydatorerna: möjlighet att ansluta en kassettspelare för datalagring på musikkassett. Man använde de vanliga kassetterna enligt Philips standard, eftersom de var vanliga och billiga. – Cassette interface board – kretskort (för hobbydator) med kassettgränssnitt.
[datalagring] [nostalgi] [ändrad 22 augusti 2016]