Najnowsze artykuły
- Artykuły„Horror ma budzić koszmary, wciskać kolanem w błoto i pożerać światło dnia” – premiera „Grzechòta”LubimyCzytać1
- Artykuły17. Nagroda Literacka Warszawy. Znamy 15 nominowanych tytułówLubimyCzytać2
- ArtykułyEkranizacja Chmielarza nadchodzi, a Netflix kończy „Wiedźmina” i pokazuje „Sto lat samotności”Konrad Wrzesiński8
- ArtykułyCzy książki mają nad nami władzę? Wywiad z Emmą Smith, autorką książki „Przenośna magia“LubimyCzytać1
Popularne wyszukiwania
Polecamy
Krystyna Piróg-Rzepecka
Znana jako: prof. dr hab. Krystyna...Znana jako: prof. dr hab. Krystyna Piróg-Rzepecka
3
0,0/10
Pisze książki: informatyka, matematyka
Polska matematyk i logik, profesor Uniwersytetu Wrocławskiego.
Jest absolwentką Uniwersytetu Jagiellońskiego, na którym w 1952 r. uzyskała tytuł magistra filozofii w zakresie matematyki. Z Opolem związana od roku 1956, kiedy podjęła pracę w Katedrze Matematyki WSP kierowanej przez Jerzego Słupeckiego. Doktoryzowała się w roku 1965. Habilitowała się na Uniwersytecie Wrocławskim na podstawie książki Systemy nonsense-logics (PWN, Warszawa 1977). Rozprawa jest pierwszą w Polsce pracą ukazująca panoramę systemów logicznych, objętych tytułem. Systemy nonsense-logics zbudowali logicy radzieccy (Boczwar, Finn) oraz skandynawscy (Halldén, Aqvist i Segerberg). U źródeł nonsense-logics legły dwie motywacje: analiza antynomii logicznych oraz analiza wyrażeń matematycznych (pewnych funkcji nazwowych) tracących sens. Idzie o to, że w myśleniu potocznym, jak i w teoriach matematycznych występują składniowo poprawne wyrażenia, którym nie jesteśmy w stanie przypisać wartości logicznej prawdy lub fałszu, a nawet znaczenia w ogóle. Jak pisał Roman Suszko „kierunek ten nosi nieszczęśliwą nazwę logiki nonsensu i nie jest zbyt popularny”, choć, jak uważał, do nurtu tego należy zaliczyć też 3-wartościowy rachunek Łukasiewicza oraz logikę Kleene’go. Należy tu też uwzględnić 4-wartościową logikę Belnapa. Są to systemy nieklasyczne o godnych uwagi odniesieniach do filozofii, matematyki i dydaktyki matematyki, a współcześnie - do informatyki. Pierwsze trzy wątki są omawiane w książce. Jej oryginalnym, formalno-logicznym wkładem jest system W oraz pomocniczy system logiczny S. Charakterystyczny dla systemu S jest funktor równoważności warunkowej. Motywacji dostarczyły zagadnienia rozwiązywania nierówności dla funkcji wymiernych. Jest autorką lub współautorką podręczników i skryptów z zakresu logiki matematycznej, teorii mnogości i arytmetyki teoretycznej oraz ponad 40 innych publikacji. W latach 1976 -78 kierowała Zakładem Podstaw Matematyki, a następnie Katedrą Podstaw Matematyki. Była pierwszą dyrektor powołanego w 1976 r. Instytutu Matematyki WSP w Opolu. Na emeryturze od roku 1999.
Jest absolwentką Uniwersytetu Jagiellońskiego, na którym w 1952 r. uzyskała tytuł magistra filozofii w zakresie matematyki. Z Opolem związana od roku 1956, kiedy podjęła pracę w Katedrze Matematyki WSP kierowanej przez Jerzego Słupeckiego. Doktoryzowała się w roku 1965. Habilitowała się na Uniwersytecie Wrocławskim na podstawie książki Systemy nonsense-logics (PWN, Warszawa 1977). Rozprawa jest pierwszą w Polsce pracą ukazująca panoramę systemów logicznych, objętych tytułem. Systemy nonsense-logics zbudowali logicy radzieccy (Boczwar, Finn) oraz skandynawscy (Halldén, Aqvist i Segerberg). U źródeł nonsense-logics legły dwie motywacje: analiza antynomii logicznych oraz analiza wyrażeń matematycznych (pewnych funkcji nazwowych) tracących sens. Idzie o to, że w myśleniu potocznym, jak i w teoriach matematycznych występują składniowo poprawne wyrażenia, którym nie jesteśmy w stanie przypisać wartości logicznej prawdy lub fałszu, a nawet znaczenia w ogóle. Jak pisał Roman Suszko „kierunek ten nosi nieszczęśliwą nazwę logiki nonsensu i nie jest zbyt popularny”, choć, jak uważał, do nurtu tego należy zaliczyć też 3-wartościowy rachunek Łukasiewicza oraz logikę Kleene’go. Należy tu też uwzględnić 4-wartościową logikę Belnapa. Są to systemy nieklasyczne o godnych uwagi odniesieniach do filozofii, matematyki i dydaktyki matematyki, a współcześnie - do informatyki. Pierwsze trzy wątki są omawiane w książce. Jej oryginalnym, formalno-logicznym wkładem jest system W oraz pomocniczy system logiczny S. Charakterystyczny dla systemu S jest funktor równoważności warunkowej. Motywacji dostarczyły zagadnienia rozwiązywania nierówności dla funkcji wymiernych. Jest autorką lub współautorką podręczników i skryptów z zakresu logiki matematycznej, teorii mnogości i arytmetyki teoretycznej oraz ponad 40 innych publikacji. W latach 1976 -78 kierowała Zakładem Podstaw Matematyki, a następnie Katedrą Podstaw Matematyki. Była pierwszą dyrektor powołanego w 1976 r. Instytutu Matematyki WSP w Opolu. Na emeryturze od roku 1999.
0,0/10średnia ocena książek autora
0 przeczytało książki autora
5 chce przeczytać książki autora
0fanów autora
Zostań fanem autora