/ Forside / Karriere / Uddannelse / Højere uddannelser / Nyhedsindlæg
Login
Glemt dit kodeord?
Brugernavn

Kodeord


Reklame
Top 10 brugere
Højere uddannelser
#NavnPoint
Nordsted1 1588
erling_l 1224
ans 1150
dova 895
gert_h 800
molokyle 661
berpox 610
creamygirl 610
3773 570
10  jomfruane 570
Beregning af booles algebra....!
Fra : TexasFlood


Dato : 11-03-02 22:42

Findes der noget software som kan foretage reducering af udtryk iht. Bolles
algebra ?

MVH

TF :0)




 
 
Claus Rasmussen (11-03-2002)
Kommentar
Fra : Claus Rasmussen


Dato : 11-03-02 22:53

TexasFlood wrote:

> Findes der noget software som kan foretage reducering af udtryk iht.
> Bolles algebra ?

Det hedder "boolsk" algebra.

Men for at svare på dit spørgsmål, så kender jeg ikke noget. Men hvis
erstatter AND med multiplikation og OR med addition, kan du bare bruge
noget tilsvarende software til reduktion af heltalsalgebra - f.eks en
lommeregner.

-Claus


Bertel Lund Hansen (11-03-2002)
Kommentar
Fra : Bertel Lund Hansen


Dato : 11-03-02 23:12

Claus Rasmussen skrev:

>> Findes der noget software som kan foretage reducering af udtryk iht.
>> Bolles algebra ?

>Det hedder "boolsk" algebra.

Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,
men udtales "buulsk". Manden der formaliserede skidtet, hed
nemlig "Boole".

Det overraskede også mig da jeg fik det at vide.

--
Bertel
http://lundhansen.dk/bertel/   FIDUSO: http://fiduso.dk/

Claus Rasmussen (11-03-2002)
Kommentar
Fra : Claus Rasmussen


Dato : 11-03-02 23:18

Bertel Lund Hansen wrote:

> Claus Rasmussen skrev:
>
>>Det hedder "boolsk" algebra.
>
> Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,
> men udtales "buulsk". Manden der formaliserede skidtet, hed
> nemlig "Boole".

Det er lige præcist /derfor/ man aldrig skal begynde på at rette andres
sprog i nyhedsgrupper. Jeg sad ellers og tjekkede det flere gange før
jeg skrev det Det er åbenbart en slags naturlov, man er oppe imod.

Jeg er normalt meget imod at rette andres sprog (med mindre de selv
beder om det), men "Bolles algebra" var alligevel for meget


> Det overraskede også mig da jeg fik det at vide.

Et opslag i min danske matematiske opslagsbog viser, at du har ret.

-Claus



Kasper Daniel Hansen (12-03-2002)
Kommentar
Fra : Kasper Daniel Hansen


Dato : 12-03-02 00:28

> Jeg er normalt meget imod at rette andres sprog
(med mindre de selv
> beder om det), men "Bolles algebra" var
alligevel for meget

Men han skrev det rigtigt i subjektet. Det tyder
bare på en slåfejl.

Kasper



Torben Ruby (11-03-2002)
Kommentar
Fra : Torben Ruby


Dato : 11-03-02 23:26


"> Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,

jvf politikens matematiske opslagsbog hedder det boole´sk
bare for lide at vride det sidste ud af ordet...... jeg sidder dog lige og
ser efter om maple kan klare det, men tror næppe.....
prøv at spørg i comp.soft-sys.math.maple , jeg kan se den har noget som
hedder boolean - men er ikke lige helt sikker på at det er det samme.......
håber en kan sige mere her.

hilsen TR




Torben Ruby (11-03-2002)
Kommentar
Fra : Torben Ruby


Dato : 11-03-02 23:35

så er jeg tilbage !
jeg var vist for hurtigt, for jeg har været rundt og se, hvad andre
skriver - og ja det er åbenbart kun politiken der staver det med " ` "
men mht maple - så er funktionen boolean det sammen som booleske ,,,,
utroligt hvad man kan bruge gogle til

hilsen TR

"Torben Ruby" <rubyto@image.dk> wrote in message
news:a6jatq$s5o$1@eising.k-net.dk...
>
> "> Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,
>
> jvf politikens matematiske opslagsbog hedder det boole´sk
> bare for lide at vride det sidste ud af ordet...... jeg sidder dog lige
og
> ser efter om maple kan klare det, men tror næppe.....
> prøv at spørg i comp.soft-sys.math.maple , jeg kan se den har noget som
> hedder boolean - men er ikke lige helt sikker på at det er det
samme.......
> håber en kan sige mere her.
>
> hilsen TR
>
>
>



Ole Geisler (11-03-2002)
Kommentar
Fra : Ole Geisler


Dato : 11-03-02 23:33

On Mon, 11 Mar 2002 23:12:25 +0100, Bertel Lund Hansen
<nospam@lundhansen.dk> wrote:

>Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,

Så staves det godt nok forkert mange steder.


--
Se www.repairfaq.org hvis du vil vide mere om fejlfinding/reparation.
Lær at citere korrekt: http://www.usenet.dk/netikette/citatteknik.html
SAT-info før køb af digitalt udstyr http://home3.inet.tele.dk/frda/satkoeb.html
SAT-info med indhold: www.sattv.dk

Henning Makholm (12-03-2002)
Kommentar
Fra : Henning Makholm


Dato : 12-03-02 13:00

Scripsit oleg@worldonline.dk (Ole Geisler)
> On Mon, 11 Mar 2002 23:12:25 +0100, Bertel Lund Hansen

> >Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,

> Så staves det godt nok forkert mange steder.

Ja. Men det får ikke George Boole (1815-1864) til pludselig at hedde
Bool. Alt mulig andet sprog kan vi godt lade udvikle sig ved
konsensus, men navne er altså navne.

--
Henning Makholm "What the hedgehog sang is not evidence."

Jeppe Stig Nielsen (12-03-2002)
Kommentar
Fra : Jeppe Stig Nielsen


Dato : 12-03-02 13:28

Henning Makholm wrote:
>
> Scripsit oleg@worldonline.dk (Ole Geisler)
> > On Mon, 11 Mar 2002 23:12:25 +0100, Bertel Lund Hansen
>
> > >Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,
>
> > Så staves det godt nok forkert mange steder.
>
> Ja. Men det får ikke George Boole (1815-1864) til pludselig at hedde
> Bool. Alt mulig andet sprog kan vi godt lade udvikle sig ved
> konsensus, men navne er altså navne.

Jeg er enig, men driller alligevel med følgende:

Må det godt hedde en algoritme? Er det ældre »algorisme« ikke bedre
når det nu er opkaldt efter Algorismus? Og faktisk bør man vel kalde
manden for al-Khwarizmi hvis man er politisk korrekt.

Derfor: Selvom det udtales »algoritme«, staves det altså alkhwarizmi.

Nå... ordet boolesk står i Retskrivningsordbogen.

--
Jeppe Stig Nielsen <URL:http://jeppesn.dk/>. «

"Je n'ai pas eu besoin de cette hypothèse (I had no need of that
hypothesis)" --- Laplace (1749-1827)

Torben Ægidius Mogen~ (12-03-2002)
Kommentar
Fra : Torben Ægidius Mogen~


Dato : 12-03-02 14:21

Jeppe Stig Nielsen <mail@jeppesn.dk> writes:

> Henning Makholm wrote:
> >
> > Ja. Men det får ikke George Boole (1815-1864) til pludselig at hedde
> > Bool. Alt mulig andet sprog kan vi godt lade udvikle sig ved
> > konsensus, men navne er altså navne.
>
> Jeg er enig, men driller alligevel med følgende:
>
> Må det godt hedde en algoritme? Er det ældre »algorisme« ikke bedre
> når det nu er opkaldt efter Algorismus? Og faktisk bør man vel kalde
> manden for al-Khwarizmi hvis man er politisk korrekt.
>
> Derfor: Selvom det udtales »algoritme«, staves det altså alkhwarizmi.

Ligesom "algebra" staves "aljebr". Iøvrigt efter et værk af førnævnte
al-Khwarizmi.

   Torben Mogensen (torbenm@diku.dk)

Marie Kirstine Anton~ (12-03-2002)
Kommentar
Fra : Marie Kirstine Anton~


Dato : 12-03-02 20:41

Torben Ægidius Mogensen wrote:

> Ligesom "algebra" staves "aljebr". Iøvrigt efter et værk af førnævnte
> al-Khwarizmi.

min vejleder kalder det ellers aljabr

/Marie


Jeppe Stig Nielsen (12-03-2002)
Kommentar
Fra : Jeppe Stig Nielsen


Dato : 12-03-02 13:32

Et andet eksempel. Adjektivet til manden Hermite er hermitesk, ikke
hermitisk.

hermitesk = hermite +sk (udtalt »ermitsk«?)
hermitisk = hermite -e +isk

Eksempel: hermitesk konjugering; hermitesk operator.

--
Jeppe Stig Nielsen <URL:http://jeppesn.dk/>. «

"Je n'ai pas eu besoin de cette hypothèse (I had no need of that
hypothesis)" --- Laplace (1749-1827)

Ole Geisler (12-03-2002)
Kommentar
Fra : Ole Geisler


Dato : 12-03-02 21:00

On 12 Mar 2002 13:00:21 +0100, Henning Makholm <henning@makholm.net>
wrote:

>Ja. Men det får ikke George Boole (1815-1864) til pludselig at hedde
>Bool. Alt mulig andet sprog kan vi godt lade udvikle sig ved
>konsensus, men navne er altså navne.

Jeg har aldrig påstået andet.



--
Se www.repairfaq.org hvis du vil vide mere om fejlfinding/reparation.
Lær at citere korrekt: http://www.usenet.dk/netikette/citatteknik.html
SAT-info før køb af digitalt udstyr http://home3.inet.tele.dk/frda/satkoeb.html
SAT-info med indhold: www.sattv.dk

Ivar (12-03-2002)
Kommentar
Fra : Ivar


Dato : 12-03-02 21:31


Henning Makholm skrev:

> > >Når vi nu har gang i rettelakken: Det hedder "boolesk" algebra,
>
> > Så staves det godt nok forkert mange steder.
>
> Ja. Men det får ikke George Boole (1815-1864) til pludselig at hedde
> Bool. Alt mulig andet sprog kan vi godt lade udvikle sig ved
> konsensus, men navne er altså navne.


Selvom Boole "opfandt" det, kan det sagtens hedde boolsk algebra.
Det hedder parmesan-ost, selvom det kommer fra Parma.

På dansk hedder det *boolsk algebra*, hvorfor der mangler et e ved
jeg ikke.


Ivar



Jesper Harder (12-03-2002)
Kommentar
Fra : Jesper Harder


Dato : 12-03-02 22:17

"Ivar" <did@vip.[nozpam]cybercity.dk> writes:

> På dansk hedder det *boolsk algebra*,

Forkert. Slå selv op i Retskrivningsordbogen, hvor der står
»boolesk algebra«.

> hvorfor der mangler et e ved jeg ikke.

Fordi det er en stavefejl

Filip Larsen (12-03-2002)
Kommentar
Fra : Filip Larsen


Dato : 12-03-02 23:33

Jesper Harder skrev

> Forkert. Slå selv op i Retskrivningsordbogen, hvor der står
> »boolesk algebra«.

For sjov løb jeg lige mine opslagsbøger igennem:

Gyldendals Fremmedordbog, 11. udgave: "boolsk algebra"
Engelsk-Dansk teknisk ordbog: "Bool operation" -> "boolsk operation"

Teknisk Forlags EDB-Lex, 1991: "Boolesk algebra" (egl. "Boole'sk algebra")
Matematisk Opslagsbog, Karush, 1972: "Boole'sk algebra"
Gjellerups et-binds leksikon, 1976: "Boolesk operation"
DSN on-line retskrivning: "boolesk algebra" (ok, den står ikke på hylden :)

Politikens Nudansk 2000: ingen reference
DSN Retskrivning, 17. oplag: ingen reference
Gyldendals Engelsk-Dansk, 4. oplag: ingen reference
Alle Tiders Tal, Rantzau, 1972: ingen reference (i stikordregistret)


Det lader til at "boolesk" vinder 4-2 over "boolsk". Man kan så undre sig
over hvorfor Gyldendals Fremmedordbog har valgt at stave det "boolsk" ...


Mvh,
--
Filip Larsen <filip.larsen@mail.dk>



Uffe Holst (13-03-2002)
Kommentar
Fra : Uffe Holst


Dato : 13-03-02 01:15


In an article of 12 Mar 2002 Filip Larsen wrote:

> Det lader til at "boolesk" vinder 4-2 over "boolsk". Man kan så undre sig
> over hvorfor Gyldendals Fremmedordbog har valgt at stave det "boolsk" ...

Selv Gyldendal kan vel lave en stavefejl...

--
Uffe Holst


Ivar (13-03-2002)
Kommentar
Fra : Ivar


Dato : 13-03-02 19:47


Filip Larsen skrev:

> Det lader til at "boolesk" vinder 4-2 over "boolsk". Man kan så undre sig
> over hvorfor Gyldendals Fremmedordbog har valgt at stave det "boolsk" ...

Måske har det noget med udgivelsestidspunktet at gøre.
I Den Store Danske Encyklopædi fra 1995 står der
"boolsk algebra, ['bu.lsg], (efter George Boole),..."
Med alle de penge der er hældt i udgivelsen af det leksikon,
må man forvente at stavemåden er rimeligt overvejet.


Ivar



Henning Makholm (18-03-2002)
Kommentar
Fra : Henning Makholm


Dato : 18-03-02 13:46

Scripsit "Ivar" <did@vip.[nozpam]cybercity.dk>

> I Den Store Danske Encyklopædi fra 1995 står der
> "boolsk algebra, ['bu.lsg], (efter George Boole),..."

Hm, og artiklen er ikke engang signeret, så man kan se hvem det er der
ikke kan stave...

--
Henning Makholm "*Vi vil ha wienerbrød!*"

Anders Nygaard (26-03-2002)
Kommentar
Fra : Anders Nygaard


Dato : 26-03-02 21:50

Henning Makholm wrote:

> Scripsit "Ivar" <did@vip.[nozpam]cybercity.dk>
>
>>I Den Store Danske Encyklopædi fra 1995 står der
>>"boolsk algebra, ['bu.lsg], (efter George Boole),..."
>
> Hm, og artiklen er ikke engang signeret, så man kan se hvem det er der
> ikke kan stave...


Nu ikke så hurtig, Henning; ganske vist optræder boolesk
i RO96, men man kan vel dårligt klandre den anonyme forfatter

for ikke at have forudset det, da artiklen blev skrevet.

Ordet optræder ikke i RO55.

XFUT dk.kultur.sprog

Anders.


N/A (01-04-2002)
Kommentar
Fra : N/A


Dato : 01-04-02 20:46



Anders Nygaard (01-04-2002)
Kommentar
Fra : Anders Nygaard


Dato : 01-04-02 20:46

Jeppe Stig Nielsen wrote:

> Anders Nygaard wrote:
>
>>Nu ikke så hurtig, Henning; ganske vist optræder boolesk
>>i RO96, men man kan vel dårligt klandre den anonyme forfatter
>>for ikke at have forudset det, da artiklen blev skrevet [i 1995].
>>

>>Ordet optræder ikke i RO55.
>
> Men ordet står i RO1986 som var gældende da artiklen blev skrevet.
> Jeg sidder her med 9. oplag (fra 1992).


Jamen, det er den samme jeg har kigget i - ups:
<rødme>RO*8*6, ikke RO*9*6</rødme>.

Undskyld, Henning.
Det skal ikke gentage sig før næste gang jeg er for træt
til at poste.

X-post dk.videnskab med FUT dk.kultur.sprog (igen)

Anders.


Søren Badstue (12-03-2002)
Kommentar
Fra : Søren Badstue


Dato : 12-03-02 00:45

TexasFlood <stevie@-nospam-tdcadsl.dk> skrev i
news:3c8d248d$0$237$edfadb0f@dspool01.news.tele.dk
> Findes der noget software som kan foretage reducering af udtryk iht.
Bolles
> algebra ?
>

Der findes et lille dansk program der hedder Booltest. Det er lavet af en
der hedder Michael Vinther. Det eneste er at det ikke altid udnytter don´t
care optimalt ved over 4 variabler.
Ved søgning på Google fandt jeg følgende link til programmet:
http://www.pop.k-net.dk/homepage/a/003/prog/

mvh
Søren



Henning Makholm (12-03-2002)
Kommentar
Fra : Henning Makholm


Dato : 12-03-02 13:06

Scripsit "Søren Badstue" <soren.badstue@post.cybercity.dk>

> Der findes et lille dansk program der hedder Booltest. Det er lavet af en
> der hedder Michael Vinther. Det eneste er at det ikke altid udnytter don´t
> care optimalt ved over 4 variabler.

Man kan heller ikke forvente optimale resultater, for det generelle
problem er NP-komplet.

(Hvilket vil sige at enhver der finder en algoritme hvis køretid er
begrænset af en polynomiel funktion af inddatas størrelse, vil blive
verdensberømt i løbet af få dage, og muligvis stinkende rig dertil).

--
Henning Makholm "What a hideous colour khaki is."

Lasse Reichstein Nie~ (12-03-2002)
Kommentar
Fra : Lasse Reichstein Nie~


Dato : 12-03-02 19:14

Henning Makholm <henning@makholm.net> writes:

> Man kan heller ikke forvente optimale resultater, for det generelle
> problem er NP-komplet.
>
> (Hvilket vil sige at enhver der finder en algoritme hvis køretid er
> begrænset af en polynomiel funktion af inddatas størrelse, vil blive
> verdensberømt i løbet af få dage,

eller død, hvis sikkerhedstjenesterne ikke vil have hinanden får fat i ham :)
(husk også at inddata

> og muligvis stinkende rig dertil).

Næppe, hvis først løsningen bliver kendt. Har man set en polynomiel
løsning til et NP hårdt problem, så har man set dem alle :)

--
Lasse Reichstein Nielsen - lrn@hotpop.com
'Faith without judgment merely degrades the spirit divine.'

Henning Makholm (12-03-2002)
Kommentar
Fra : Henning Makholm


Dato : 12-03-02 20:33

Scripsit Lasse Reichstein Nielsen <lrn@infimum.dk>
> Henning Makholm <henning@makholm.net> writes:

> > Man kan heller ikke forvente optimale resultater, for det generelle
> > problem er NP-komplet.

> > (Hvilket vil sige at enhver der finder en algoritme hvis køretid er
> > begrænset af en polynomiel funktion af inddatas størrelse, vil blive
> > verdensberømt i løbet af få dage,

> eller død, hvis sikkerhedstjenesterne ikke vil have hinanden får fat
> i ham :)

Ikke nødvendigvis. Hvis man først har postet sin algoritme (og
tilhørende køretidsanalyse) på nettet, bliver det forbandet svært at
stoppe ånden tilbage i lampen igen. Og selv hvis man kulle skjule
metoden for det meste af offentligheden, ville sikkerhedstjenesterne
kunne være sikre på at deres udenlandske kolleger ihvertfald havde
lyttet med i første omgang.

Desuden er det ikke umiddelbart klart om en O(n^42) algoritme med
store koefficienter for SAT ville føre til nogen rent praktiske
fremskridt med hensyn til primfaktorisering og hvad man nu ellers
bygger kryptosystemer på.

> > og muligvis stinkende rig dertil).

> Næppe, hvis først løsningen bliver kendt. Har man set en polynomiel
> løsning til et NP hårdt problem, så har man set dem alle :)

Men med P=NP på visitkortet skulle det være til at redde sig et ganske
højtlønnet job et eller andet sted. Eller lave sig en virksomhed
(ligegyldigt hvad den faktisk laver) og blive stinkende rig af
IPO-penge et par år efter.

--
Henning Makholm "Hør, hvad er det egentlig
der ikke kan blive ved med at gå?"

TexasFlood (12-03-2002)
Kommentar
Fra : TexasFlood


Dato : 12-03-02 17:47

Jeg takker for linket.

Det vil jeg prøve, så kan de andre diskutere hvordan man staver til
Boole..... :0)

MVH og tak for hjælpen.

TF :0)


"Søren Badstue" <soren.badstue@post.cybercity.dk> skrev i en meddelelse
news:a6jfgn$2oje$1@news.cybercity.dk...
> TexasFlood <stevie@-nospam-tdcadsl.dk> skrev i
> news:3c8d248d$0$237$edfadb0f@dspool01.news.tele.dk
> > Findes der noget software som kan foretage reducering af udtryk iht.
> Bolles
> > algebra ?
> >
>
> Der findes et lille dansk program der hedder Booltest. Det er lavet af en
> der hedder Michael Vinther. Det eneste er at det ikke altid udnytter don´t
> care optimalt ved over 4 variabler.
> Ved søgning på Google fandt jeg følgende link til programmet:
> http://www.pop.k-net.dk/homepage/a/003/prog/
>
> mvh
> Søren
>
>



Kim Noer (12-03-2002)
Kommentar
Fra : Kim Noer


Dato : 12-03-02 17:57

"TexasFlood" <stevie@-nospam-tdcadsl.dk> wrote in message
news:3c8d248d$0$237$edfadb0f@dspool01.news.tele.dk...

> Findes der noget software som kan foretage reducering af udtryk iht.
Bolles
> algebra ?

Webpack - kig på xilinx.com for at finde det - mener den er gratis (den
er faktisk ret god).

--
If 0 thinks it looks like O, then 0 got a problem right?



Søg
Reklame
Statistik
Spørgsmål : 177552
Tips : 31968
Nyheder : 719565
Indlæg : 6408849
Brugere : 218887

Månedens bedste
Årets bedste
Sidste års bedste