Differences

This shows you the differences between two versions of the page.

--- problem [2011/01/03 15:10] – hans
+++ problem [2026/07/07 07:32] (current) – external edit 127.0.0.1
@@ Line 38: / Line 38: @@
 På samfundsvidenskab registrerer en gruppe, at flere og flere arbejdstagere over 50 år registreres som ledige. De registrerer også, at der i offentligheden og blandt fx ansvarlige politikere og organisationsrepræsentanter tales om nytten af seniorernes tilstedeværelse på arbejdsmarkedet. Man taler undertiden ligefrem om det grå guld. Det er et paradoks. Gruppen vil på den baggrund gerne vide, hvorfor der registreres flere og flere ledige over 50 år, når denne gruppe også betegnes som arbejdsmarkedets grå guld.
-Til sidst et eksempel på et eksistensproblem:
+Til sidst et eksempel på et problem, der nemmest kan forstås som et eksistensproblem (problemet med ghettoblasteren ovenfor kan også forstås på denne måde):
 I teoretisk datalogi kan man definere en lang række forskellige såkaldte adfærdsækvivalenser for parallelle processer. En gruppe studerende ved, at der findes sunde og fuldstændige aksiomatiseringer af mange gængse ækvivalenser, dvs. et endeligt antal love som gør det muligt at bevise om to give processer er ækvivalenser. Men der findes også et antal ækvivalenser i litteraturen, hvor man ikke ved om en sådan aksiomatisering findes. Gruppen vil derfor for en af disse ækvivalenser finde ud af om der eksisterer en sund og fuldstændig aksiomatisering for den.