O semantyce w Matematyce i Informatyce czyli w poszukiwaniu zagubionego sensu

O semantyce w Matematyce i Informatyce czyli w poszukiwaniu zagubionego sensu

1 opinia

Format:

ibuk

WYBIERZ RODZAJ DOSTĘPU

 

Dostęp online przez myIBUK

WYBIERZ DŁUGOŚĆ DOSTĘPU

6,15

Wypożycz na 24h i opłać sms-em

30,00

cena zawiera podatek VAT

ZAPŁAĆ SMS-EM

Czym jest Matematyka i Informatyka? Niewątpliwie są to dyscypliny naukowe. Ale jaki jest ich przedmiot badań, o czym one traktują? Odpowiedz wydaje się prosta. O liczbach, abstrakcyjnych pojęciach, np. przestrzeni, o informacji i wiedzy oraz ich przetwarzaniu. Do opisu tych pojęć używane są mniej lub bardziej formalne języki. Czy ten opis wystarcza? Formalny język sam w sobie nie posiada semantyki, czyli ugruntowania, a jedynie opiera się na formalnej składni, czyli na ściśle określonych nazwach (ciągach znaków) oraz regułach do przekształcania tych nazw. W formalnej teorii, pojęcia (do których odnoszą się te nazwy) są opisane poprzez aksjomaty (pewniki), tj. formalne zadania uznane za prawdziwe. Na podstawie ściśle określonych reguł dowodzenia, można z tych aksjomatów wnioskować o własnościach tych pojeć oraz ich wzajemnych relacjach.


Liczba stron178
WydawcaAkademicka Oficyna Wydawnicza EXIT Andrzej Lang
ISBN-13978-83-7837-593-7
Numer wydania1
Język publikacjipolski
Informacja o sprzedawcyRavelo Sp. z o.o.

Ciekawe propozycje

Spis treści

[]5.4. Poziom    1
  .18. Appendix do Rozdziału    6
RozwińZwiń
W celu zapewnienia wysokiej jakości świadczonych przez nas usług, nasz portal internetowy wykorzystuje informacje przechowywane w przeglądarce internetowej w formie tzw. „cookies”. Poruszając się po naszej stronie internetowej wyrażasz zgodę na wykorzystywanie przez nas „cookies”. Informacje o przechowywaniu „cookies”, warunkach ich przechowywania i uzyskiwania dostępu do nich znajdują się w Regulaminie.

Nie pokazuj więcej tego powiadomienia