Semantyka
Z Wikipedii
Semantyka (gr. σημαντικός, semantikós, istotne znaczenie, od sema, znak) to dyscyplina badająca relacje pomiędzy znakami a przedmiotami, do których się one odnoszą. Semantyka zajmuje się badaniem znaczenia słów, czyli interpretacją znaków oraz interpretacją zdań i wyrażeń języka. Semantyka logiczna (nazywana też czasem teorią modeli) bada języki sztuczne, gdzie badany język, zwany językiem przedmiotowym, jest interpretowany za pomocą metajęzyka.
Semantykę nazywa się teorią znaczenia lub teorią oznaczania (Quine) zależnie od określenia pojęcia znaczenia.
Spis treści |
[edytuj] W lingwistyce
Zobacz więcej w osobnym artykule: Semantyka (lingwistyka).Semantyka jest działem lingwistyki, który definiowany jest tradycyjnie jako dziedzina zajmująca się znaczeniem (części) słów, zwrotów, zdań i tekstów. Semantyka może być uprawiana zarówno z punktu widzenia teoretycznego, jak i empirycznego (na przykład psycholingwistcznego).
Wśród współcześnie uprawianych kierunków semantyki można wyróżnić m.in.:
[edytuj] W matematyce i informatyce
Zobacz więcej w osobnym artykule: Semantyka (matematyka).W informatyce semantyka języka programowania określa zachowanie składowych systemu w zależności od jednostek programowych danego języka. Każda z semantyk ma swoje cele i nie są one sobie równoważne:
Wyróżnianych jest kilka metod określania semantyki języka programowania:
- semantyka aksjomatyczna, polegająca na opisie języka za pomocą zespołu aksjomatów i reguł wnioskowania;
- semantyka denotacyjna, przypisująca znaczenie (denotację) elementom języka za pomocą funkcji waluacji;
- semantyka operacyjna, opisująca jak poprawny program jest interpretowany jako sekwencja kroków pewnej abstrakcyjnej maszyny (interpretera).
- semantyka algebraiczna, gałąź semantyki denotacyjnej wykorzystująca pojęcia algebraiczne.
[edytuj] W logice
Zobacz więcej w osobnym artykule: Semantyka (logika).Wiele formalnych metod stosowanych w semantyce ma swój początek w technikach stosowanych w logice, z których najbardziej wpływowe są idee Alfreda Tarskiego w teorii modeli i w jego semantycznej teorii prawdy.
[edytuj] Bibliografia
- w języku polskim
- P. Dembiński, J. Małuszyński, Matematyczne metody definiowania języków programowania, WNT, 1981.
- M. Gordon, Denotacyjny opis języków programowania, WNT, 1983.
- E. Dijkstra, Umiejętność programowania WNT, 1978.
- w języku angielskim
- J. Lyons, Semantics, Cambridge University Press, 1977.
- H. Riis Nielson, F. Nielson, Semantics with Applications: A Formal Introduction, Wiley, 1999.
- D. Gries, The Science of Programming, Springer-Verlag, 1981.
[edytuj] Zobacz też
| Tusk: Fedak to bardzo dobry minister; nie ma konfliktu PSL-PO |
Premier Donald Tusk zapewnił, że bardzo wysoko ocenia pracę minister pracy Jolanty Fedak. - To bardzo dzielna kobieta, bardzo dobry minister, która pracuje w warunkach wyjątkowo trudnych - ocenił. Zapewnił też, że - jeśli chodzi o emerytury dla nauczycieli - nie ma sporu w koalicji. |
| Śledztwo ws. rzekomego ustawienia przetargu przez b. prezydenta Olsztyna umorzone |
Z powodu "niepopełnienia czynu zabronionego" prokuratura umorzyła sprawę rzekomego ustawienia przetargu na monitoring Starego Miasta w Olsztynie przez b. prezydenta miasta Czesława Małkowskiego. |
| Co dalej z centrum kultury? Władze Warszawy nie rezygnują |
Budynek warszawskiej Szkoły Głównej Gospodarstwa Wiejskiego zostanie przekształcony w nowoczesne Europejskie Centrum Muzyki? Takie plany ma ratusz. Mimo, że właściciel terenu podpisał już porozumienie z prywatnym kupcem, władze miasta nie rezygnują. Aby przejąć teren, będą musiały zapłaci ok. 15 mln zł - informuje SGGW. |
| Napieralski do rządu: Chcemy wam pomóc |
Szef SLD Grzegorz Napieralski zadeklarował w czwartek w Sejmie, że klub Lewicy jest gotowy pomóc rządowi w pracach nad "dobrymi ustawami". Jednocześnie skrytykował gabinet Donalda Tuska za niedotrzymanie obietnic wyborczych. |
| Tusk do Kaczyńskiego: Nie ma pan monopolu na patriotyzm |
Premier Donald Tusk zaapelował do prezesa PiS Jarosława Kaczyńskiego, aby wpłynął na prezydenta Lecha Kaczyńskiego i przekonał go do ratyfikacji Traktatu Lizbońskiego. Odnosząc się do projektu muzeum II wojny światowej Tusk stwierdził, że prezes PiS nie ma monopolu na patriotyzm i prawdę. |
| Uwaga na silny wiatr! |
Wojewódzkie Centrum Zarządzania Kryzysowego ostrzega przed silnym wiatrem, który najbardziej dokuczać będzie mieszkańcom woj. małopolskiego i mazowieckiego. Uważać muszą także turyści, którzy wybrali się w Karkonosze, Tatry i do Kotliny Kłodzkiej. |
| Zobacz mrożący krew w żyłach film z pościgu policji za ferrari |
Policyjnego opla vectrę goleniowskiej drogówki wyprzedził z ogromną prędkością ferrari. Policjanci ruszyli w pościg i uruchomili wideoradar. Po kilku kilometrach dopadli pędzący ponad 200 kilometrów na godzinę bolid. |
| Zginęła porażona prądem, osierociła sześcioro dzieci |
42-letnia kobieta zginęła od porażenia prądem we wsi Kropiwne Stare na Suwalszczyźnie (Podlaskie). Kobieta osierociła sześcioro dzieci. |
| Tusk podsumowuje w Sejmie rok rządów |
- Mój rząd pokazał, że umie korzystać z "tego co dobre i wartościowe, z dziedzictwa poprzedników" - powiedział premier Donald Tusk, przedstawiając w Sejmie informację o stanie realizacji programu działania rządu w rok po jego powołaniu. Po nim na mównicę weszli Bogdan Chlebowski i Jarosław Kaczyński, który wygłosił długą polemikę ze słowami Tuska. Wyznał m.in., że to on otwierał... orliki. |
| Komisja etyki poselskiej upomniała Piterę |
Komisja etyki poselskiej upomniała w czwartek pełnomocnik rządu ds. walki z korupcją Julię Piterę - poinformowała PAP szefowa komisji Elżbieta Witek (PiS). |
