| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Goedel/ Datei vom 17.9.2012 mit Größe 1 kB |
|
Quelle propositions.h Sprache: C |
|||||||||
|
//-------------------------------------------
extern long trace; extern long level; void traceout(char*,long); void resultout(long res); void argout(char*); void startout(char*); void initcall(char *fun); void manpage(char*,char*,char*); //------------------------------------------- BOOL divisible(NAT x, NAT y); BOOL Prim(NAT x); NAT Pr2(NAT n, NAT x); NAT Fac(NAT n); NAT Pr1(NAT n); NAT Gl(NAT n, NAT x); NAT l(NAT x); NAT Join(NAT x, NAT y); NAT R(NAT x); NAT E(NAT x); BOOL Var2(NAT n, NAT x); BOOL Var1(NAT x); NAT Neg(NAT x); NAT Dis(NAT x, NAT y); NAT Gen(NAT x, NAT y); NAT N(NAT n, NAT x); NAT Z(NAT n); BOOL Typ1(NAT x); BOOL Typ2(NAT n,NAT x); BOOL Elf(NAT x); BOOL Op(NAT x,NAT y,NAT z); BOOL FR(NAT x); BOOL Form(NAT x); BOOL Geb(NAT v,NAT n, NAT x); BOOL Fr3(NAT v,NAT n,NAT x); BOOL Fr2(NAT v,NAT x); NAT Su(NAT x,NAT n, NAT y); NAT St(NAT k,NAT v, NAT x); NAT A(NAT v, NAT x); NAT Sb4(NAT k,NAT x, NAT v,NAT y); NAT Sb3(NAT x,NAT v,NAT y); NAT Imp(NAT x, NAT y); NAT Con(NAT x, NAT y); NAT Aeq(NAT x, NAT y); NAT Ex(NAT v, NAT y); NAT Th(NAT n, NAT x); BOOL Z_Ax(NAT x); BOOL A1_Ax(NAT n,NAT x); BOOL A_Ax(NAT x); BOOL Q(NAT z, NAT y,NAT v); BOOL L1_Ax(NAT x); BOOL L2_Ax(NAT x); BOOL R_Ax(NAT x); BOOL M_Ax(NAT x); BOOL Ax(NAT x); BOOL Fl(NAT x,NAT y,NAT z); BOOL Bw(NAT x); BOOL B(NAT x,NAT y); BOOL Bew(NAT x); NAT Goldbach(NAT n); NAT Primetwin(NAT x); NAT Collatz(NAT x); NAT Fermat(NAT n); //-------------------------------------- // End of this Source //-------------------------------------- ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28