|
| 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 |
| | |
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 |
| | |
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?
| |
|
|