Topics
Replies
Author
Views
Last Post
Fiddly First-Order Statement 2 elcapitan 330 Thu, 8 Jul 2010 10:45:46 UTCkompik
Extracting Information From Generating Functions 3 Generator 211 Tue, 6 Jul 2010 23:20:42 UTCShadow
counting principle problems 7 samarfadl 7129 Sat, 12 Jun 2010 18:57:07 UTCNagesh
formal proof 1 idi 793 Sat, 29 May 2010 01:36:54 UTCShadow
Graph Decomposition 5 full_adder 630 Mon, 24 May 2010 10:15:11 UTCfull_adder
Grapgh Decomposition 0 full_adder 372 Thu, 20 May 2010 15:04:55 UTCfull_adder
Are these proofs correct? 1 Hyperreal_Logic 982 Sat, 1 May 2010 13:28:57 UTCkompik
Chinese Postman Problem 1 beanmath 592 Sat, 1 May 2010 12:25:13 UTCkompik
The Graph Isomorphism Problem 1 Azelx7 433 Tue, 27 Apr 2010 14:45:20 UTCbeanmath
analytic pointset, Baire space 1 eskimo343 467 Sun, 25 Apr 2010 13:28:43 UTCkompik
Cantor canonical form 1 eskimo343 441 Sun, 25 Apr 2010 06:28:25 UTCkompik
regular cardinal. ZFC 0 erdos32212 454 Sun, 25 Apr 2010 00:51:07 UTCerdos32212
cardinality, ZFC 0 poincare4223 453 Sun, 25 Apr 2010 00:26:36 UTCpoincare4223
transitive closure, cardinality 0 poincare4223 443 Sun, 25 Apr 2010 00:16:41 UTCpoincare4223
Which trees have a Hamiltonian path? 2 beanmath 568 Mon, 19 Apr 2010 00:06:17 UTCbeanmath
Cantor-Bendixson Theorem, uniqueness 2 maya8913 599 Sun, 18 Apr 2010 09:11:21 UTCkompik
example, closed pointset 1 eskimo343 494 Sun, 18 Apr 2010 09:04:13 UTCkompik
Sentences using XOR and ANDNOT 2 elcapitan 638 Sat, 17 Apr 2010 05:02:32 UTCelcapitan
Bipartite Multigraph Proof 0 beanmath 511 Fri, 16 Apr 2010 17:32:33 UTCbeanmath
Bipartite Graph 2 beanmath 575 Thu, 15 Apr 2010 22:53:19 UTCbeanmath
Isomorphic Connected Graphs 2 beanmath 564 Thu, 15 Apr 2010 19:36:41 UTCbeanmath
Shortest Path of Length at least L in a DAG 0 dbmath 470 Tue, 13 Apr 2010 18:22:43 UTCdbmath
Cardinality of "Bytes" 1 Generator 489 Tue, 13 Apr 2010 01:56:02 UTCaswoods
need a primary source any help :) 0 qleak 473 Mon, 12 Apr 2010 15:45:27 UTCqleak
Another Graph Theory Problem 3 asa.hoshi 722 Sat, 10 Apr 2010 07:10:25 UTCkompik
Please help me with this Graph Theory Question 2 asa.hoshi 607 Fri, 9 Apr 2010 13:33:33 UTCasa.hoshi
examples, sequences of ordinals 3 eskimo343 610 Thu, 8 Apr 2010 14:58:15 UTCkompik
ordinal, uniqueness question 2 eskimo343 565 Thu, 8 Apr 2010 12:30:28 UTCkompik
k Shortest Paths between several nodes 0 Quentin 567 Sun, 4 Apr 2010 13:16:50 UTCQuentin
System of Distinct Representatives 1 beanmath 712 Thu, 1 Apr 2010 02:32:11 UTClepton
Proof of a theorem. 6 gunnarbb 735 Wed, 31 Mar 2010 16:26:19 UTCgunnarbb
Recursion, Cardinality 1 eskimo343 724 Sat, 27 Mar 2010 12:44:45 UTCkompik
infinite cardinal numbers 1 sophia782 594 Sat, 27 Mar 2010 12:37:53 UTCkompik
well orderable set, recursion 1 eskimo343 566 Fri, 26 Mar 2010 10:51:27 UTCkompik
cofinality, infinite cardinal 1 sophia782 547 Fri, 26 Mar 2010 10:21:11 UTCkompik
partial ordering, linearization 1 eskimo343 627 Thu, 25 Mar 2010 14:37:41 UTCoutermeasure
computer recursion question 2 scuzzo 697 Mon, 22 Mar 2010 00:08:53 UTCSoroban
Describing Residues 3 Generator 732 Sat, 20 Mar 2010 02:58:22 UTClepton
Quantificational Logic problem!! 1 MissSarahLee 592 Wed, 17 Mar 2010 15:50:16 UTCoutermeasure
A little question about Hasse Diagram 0 Crypt.Hidden 632 Sat, 13 Mar 2010 09:48:46 UTCCrypt.Hidden
Roots of Unity... 2 Generator 760 Thu, 11 Mar 2010 00:48:07 UTCGenerator
initial segments 1 eskimo343 541 Wed, 10 Mar 2010 14:48:15 UTCoutermeasure
Roots of Unity... 0 Generator 539 Tue, 9 Mar 2010 16:45:50 UTCGenerator
club set 1 eskimo343 602 Tue, 9 Mar 2010 14:00:51 UTCoutermeasure
stationary set 1 eskimo343 616 Tue, 9 Mar 2010 13:58:17 UTCoutermeasure
fixed point theorem 1 eskimo343 583 Tue, 9 Mar 2010 13:52:07 UTCoutermeasure
Rings and Exponentials, Imaginary Numbers 4 Generator 911 Tue, 9 Mar 2010 01:39:27 UTCShadow
Series 5 Generator 874 Mon, 1 Mar 2010 21:16:08 UTCGenerator
Derivative of a generating function without the derivative 8 Generator 1474 Fri, 19 Feb 2010 23:56:38 UTCGenerator
Confusing concepts 0 tarektarek 966 Fri, 29 Jan 2010 23:34:06 UTCtarektarek
need some counting explanations 2 deyichew 1024 Tue, 26 Jan 2010 14:44:27 UTCdeyichew
Sum of powers of 2 7 lepton 1939 Mon, 25 Jan 2010 16:48:20 UTCShadow
Propositional Logic 2 scuzzo 965 Sun, 24 Jan 2010 13:17:49 UTCscuzzo
Number of paths length k amoung n nodes 2 srjcstud 1072 Mon, 18 Jan 2010 23:00:23 UTClepton
Help with permutations please 3 bracky 1138 Sat, 16 Jan 2010 05:41:00 UTCbracky
new set of counting principle problems !! 1 , 2 ] 16 samarfadl 9456 Fri, 15 Jan 2010 18:50:04 UTCShadow
Combinitorial Identity 1 srjcstud 1021 Mon, 11 Jan 2010 07:15:21 UTCoutermeasure
Simple matching proof 2 llazzaro 972 Fri, 8 Jan 2010 21:59:23 UTCllazzaro
Gödel's Completeness Theorem 2 Hyperreal_Logic 1202 Sun, 3 Jan 2010 16:09:24 UTCHyperreal_Logic
Closed Under Multiplication 1 patageehoy 1079 Sun, 3 Jan 2010 14:48:38 UTCkompik
Countable or uncountable set of bit strings? 1 nlewis690 1174 Sun, 13 Dec 2009 18:09:27 UTCnlewis690
Images of Sets 3 Susan123456 1228 Sat, 12 Dec 2009 17:43:43 UTCShadow
Spanning and Induced Subgraphs 5 dynas7y 1873 Thu, 10 Dec 2009 18:42:13 UTCShadow
Connection Proof 3 dynas7y 1111 Thu, 10 Dec 2009 04:47:51 UTCShadow
Triangle 2 Hanz 1141 Sat, 5 Dec 2009 18:11:16 UTCHanz
Resolution Refutation? 0 DJPlayer 1096 Fri, 27 Nov 2009 07:06:17 UTCDJPlayer
Permutation Property 3 thingummywut 1767 Mon, 16 Nov 2009 00:17:11 UTCShadow
ahhh HELP 3 logicidiot 1501 Fri, 6 Nov 2009 04:49:39 UTClepton
Discrete math.. venn diagram proof 2 leilei 2960 Fri, 30 Oct 2009 16:31:11 UTChelmut
generating function 3 leilei 2343 Fri, 30 Oct 2009 16:29:54 UTChelmut
relation between contact semigroup and analytic semigroup 0 annyzhang 1052 Fri, 30 Oct 2009 13:20:17 UTCannyzhang
Mathematical notation to define sets 1 mintxo 1187 Thu, 29 Oct 2009 14:23:41 UTCSoroban
what is an index set? 7 dmehling 2222 Thu, 29 Oct 2009 08:48:44 UTCex falso quodlibet
Bridge Problem 5 kulturfenster 1642 Mon, 26 Oct 2009 15:08:06 UTCShadow
set operations problem 4 gps 1644 Sun, 18 Oct 2009 16:54:22 UTCgps
iff statement logic 1 05220 1306 Wed, 14 Oct 2009 21:55:08 UTCdaveyinaz
Graph Theory 7 blagoblg 2321 Fri, 9 Oct 2009 13:59:31 UTCoutermeasure
Propositional logic help - proofs. 4 rex7890 1784 Tue, 6 Oct 2009 19:20:06 UTCSoroban
help me please 1 kabi 1238 Thu, 1 Oct 2009 02:47:32 UTCoutermeasure
What area am I talking about. 0 jwz 1183 Wed, 30 Sep 2009 12:21:28 UTCjwz
strings and languages 2 lizzie@lizzie.com 1555 Sun, 20 Sep 2009 23:49:07 UTClizzie@lizzie.com
growth of function 2 yzc717 1638 Fri, 18 Sep 2009 01:22:46 UTCShadow
2 Fibonacci number proof---induction 3 yzc717 1959 Wed, 16 Sep 2009 13:28:41 UTCSoroban
induction problem 3 yzc717 1615 Tue, 15 Sep 2009 18:22:58 UTCyzc717
help ananlysis 1 kabi 1274 Mon, 14 Sep 2009 02:24:11 UTCMatt
More detail please 1 kabi 1286 Mon, 14 Sep 2009 02:09:35 UTCMatt
We are back, Help please 1 kabi 1478 Fri, 4 Sep 2009 01:12:06 UTCMatt
Multiset Addition Rule (proof required) 1 DaRush19 1402 Tue, 1 Sep 2009 18:11:29 UTCdaveyinaz
Represent a party using graphs 0 DaRush19 1214 Sun, 30 Aug 2009 10:47:56 UTCDaRush19
Combinatorial estimate using Stirling's formula 0 DaRush19 1273 Sat, 29 Aug 2009 14:34:56 UTCDaRush19
Induction quandary 1 lepton 1306 Sat, 29 Aug 2009 08:05:31 UTClepton
What is Analytic Topology? 8 ASADM 2584 Wed, 26 Aug 2009 23:01:55 UTCskipjack
Help to understand this. 2 kabi 1882 Tue, 4 Aug 2009 21:08:00 UTCValentine_A
I still need your help for this 2 kabi 1822 Tue, 4 Aug 2009 15:52:59 UTCoutermeasure
Lattice Theory 1 maxmann3 1584 Sat, 1 Aug 2009 03:36:55 UTCoutermeasure
Please Help me 1 kabi 1579 Wed, 29 Jul 2009 14:26:55 UTCValentine_A
Algebra Midterm...Need help ASAP!!!! 2 Nal 1780 Wed, 29 Jul 2009 01:30:43 UTCNal
Help, Abstract algebra 4 kabi 2531 Tue, 28 Jul 2009 17:16:54 UTCValentine_A
Quantificational Logic question - What is the distinction? 1 nlewis690 1725 Fri, 3 Jul 2009 07:30:30 UTCtashirosgt
Predicate Logic - Meaning of predicate formula 3 metal.heart 2401 Sun, 28 Jun 2009 16:58:12 UTCmetal.heart
Display topics from previous: All Topics 1 Day 7 Days 2 Weeks 1 Month 3 Months 6 Months 1 Year
FAQ 
Search 
Memberlist 
Usergroups
Register
Profile 
Log in to check your private messages 
Log in 
![New posts [ Popular ]](templates/subSilver/images/folder_new_hot.gif){kind=small}
![No new posts [ Popular ]](templates/subSilver/images/folder_hot.gif){kind=small}
![New posts [ Locked ]](templates/subSilver/images/folder_lock_new.gif){kind=small}
![No new posts [ Locked ]](templates/subSilver/images/folder_lock.gif){kind=small}