O PORTALU BazTOL WYSZUKIWANIE ZGŁOŚ ZASÓB/UWAGI POMOC

Data wprowadzenia rekordu: 2013-02-28 09:28:56
Tytuł: Wprowadzenie do logiki i do metodologii nauk dedukcyjnych

URL: http://tarski.calculemus.org/

Twórca: Tarski, Alfred

Dziedzina: Matematyka / Logika matematyczna
Matematyka / Matematyka stosowana

Słowa kluczowe:

matematyka- źródła naukowe / mathematics- scientific resourcess
logika / logic
arytmetyka / arithmetics
logika matematyczna / mathematical logic
podręczniki elektroniczne / electronic books
teoria liczb / number theory
metodologia / methodology

Opis: Na stronie zamieszczono podręcznik "Wprowadzenie do logiki i do metodologii nauk dedukcyjnych" (przekład Moniki Sujczyńskiej z czwartego wydania angielskiego) autorstwa Alfreda Tarskiego (1901-1983), twórcy semantycznej definicji prawdy, uznawanego za jednego z najwybitniejszych logików w historii. Czytelnik znajdzie w książce rozdziały poświęcone użyciu zmiennych, rachunku zdań, teorii identyczności, teorii klas, teorii relacji czy metodzie dedukcyjnej. Witryna zawiera także aneksy, uwagi wydawcy oraz szczegółowe informacje dotyczące rozpowszechniania dzieła.
Tekst skopiowany na podstawie zezwolenia Wydawcy. Źródło: Zezwolenie Wydawcy



Typ: Książki

Format: pdf [Portable Document Format]
html, htm [Hypertext Markup Language]

Język: polski

Własność: Fundacja na Rzecz Informatyki, Logiki i Matematyki z siedzibą w Warszawie