Fun-Soft - Programmierforum

Autor

Thread - Seiten: [ 1 ] > 2 <

010
06.08.2006, 22:31 Uhr
ao

(Operator)

Zitat von kronos:

Man kann das auch einfach als Allquantoreinführung nach dem prädikatenlogischen Kalkül des natürlichen Schließens betrachten. Leider fehlen hier für beide Notationen die Symbole...

Bahnhof?

Ich finds so einleuchtender:

C++:

class Zonker { };
class Zoodle : public Zonker { }; // alle Zoodles sind Zonker
class Zip : public Zoodle {} // alle Zips sind Zoodle

Zip * pzip = new Zip ();
Zonker * pzonker = static_cast<Zonker *> (pzip); // wenn das hier klappt, sind alle Zips Zonker.

Profil || Private Message || Suche

Download || Zitatantwort || Editieren || Löschen || IP

011
08.08.2006, 18:26 Uhr
J-jayz-Z
Perl Crack ala Carte
(Operator)

Ah,jetzt hab ichs auch verstanden !
--
perl -Mstrict -Mwarnings -e 'package blub; sub new { bless {} } sub bar {my $self=shift; $self->{bla}="66756e2d736f66742e6465"; return $self->{bla};} my $foo=blub->new();print "Hallo ";print pack("H*",$foo->bar()); print "\n"'

Profil || Private Message || Suche

Download || Zitatantwort || Editieren || Löschen || IP

Seiten: [ 1 ] > 2 < [ Rätselecke ]

ThWBoard 2.73 FloSoft-Edition
© by Paul Baecher & Felix Gonschorek (www.thwboard.de)

Anpassungen des Forums
© by Flo-Soft (www.flo-soft.de)

Sie sind Besucher: