Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Warford:1995:ETF,
author = "J. Stanley Warford",
title = "An experience teaching formal methods in discrete
mathematics",
journal = j-SIGCSE,
volume = "27",
number = "3",
pages = "60--64",
month = sep,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/209849.209860",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:31 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "In spite of recent calls to incorporate formal methods
into the computer science curriculum, the effort is
still controversial and proceeding slowly. This paper
presents our experience in restructuring the
undergraduate Discrete Mathematics course to include
formal methods. It concludes with some philosophical
ruminations about the place of formal methods in the
computer science curriculum in general.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- call,
22(3)39,
23(2)51,
23(4)13,
24(1)176,
26(1)150,
26(1)164,
28(1)78,
28(1)333,
29(1)1,
29(1)53,
29(3)74,
30(1)190,
31(1)170,
31(2)60,
31(2)65,
31(3)60,
31(3)211
- conclude,
22(3)47,
22(4)37,
23(1)130,
23(2)24,
24(1)299,
26(1)6,
26(1)111,
28(1)130,
29(1)174,
29(3)42,
30(3)55,
30(3)98,
31(1)232,
31(1)271,
31(1)296,
31(3)163
- controversial,
27(1)396,
30(1)145
- discrete,
22(1)17,
24(1)147,
25(1)73,
25(1)78,
25(1)83,
25(3)19,
25(4)13,
27(4)13,
29(3)14,
30(1)365,
30(1)378,
31(1)110,
31(2)60
- effort,
22(2)52,
22(3)47,
24(1)34,
24(1)63,
25(2)1,
26(1)198,
26(1)349,
26(4)2,
26(4)51,
27(1)214,
27(1)292,
27(1)340,
27(1)360,
28(1)130,
28(1)195,
28(1)214,
28(1)290,
29(1)111,
29(1)277,
29(1)282,
29(2)17,
29(2)39,
29(3)42,
29(3)120,
30(1)25,
30(1)97,
30(1)145,
30(1)171,
30(1)366,
30(3)209,
30(3)228,
30(3)243,
30(3)272,
30(3)311,
31(1)27,
31(1)184,
31(1)189,
31(2)17,
31(3)60,
31(3)187
- formal,
22(4)37,
23(1)162,
23(3)11,
23(4)41,
24(1)15,
24(1)102,
24(1)207,
26(1)21,
26(1)71,
26(1)121,
26(1)145,
26(1)300,
27(1)141,
27(1)214,
27(1)228,
27(1)248,
27(1)302,
27(1)307,
27(1)312,
27(1)398,
27(3)53,
28(1)150,
28(1)155,
28(1)160,
28(1)266,
28(1)271,
29(1)15,
29(1)67,
29(1)92,
29(1)126,
29(1)253,
29(1)396,
30(1)6,
30(1)166,
30(1)341,
30(1)350,
30(2)31,
30(4)5,
31(1)100,
31(1)331,
31(1)341,
31(1)350,
31(1)351,
31(1)370,
31(2)37,
31(3)52
- general,
22(2)15,
22(2)59,
22(3)7,
23(1)87,
23(2)60,
23(4)13,
24(1)57,
26(1)41,
26(4)21,
26(4)25,
26(4)59,
27(1)53,
27(1)61,
27(1)248,
27(1)302,
27(1)350,
28(1)73,
28(1)378,
28(2)21,
28(3)51,
29(1)35,
29(1)48,
29(1)96,
29(1)243,
29(1)258,
29(1)371,
29(3)27,
29(3)40,
29(3)51,
29(3)57,
29(3)62,
29(3)120,
30(1)58,
30(1)68,
30(1)87,
30(1)97,
30(1)185,
30(1)302,
30(1)365,
30(1)370,
30(2)20,
30(3)148,
30(3)243,
30(3)303,
30(4)39,
30(4)46,
31(1)37,
31(1)146,
31(1)179,
31(3)60,
31(4)66,
31(4)70
- include,
22(2)52,
22(4)49,
23(2)51,
23(4)27,
24(1)87,
24(1)138,
24(1)168,
24(1)286,
25(4)5,
25(4)21,
26(1)102,
26(1)203,
26(1)238,
26(1)300,
26(3)29,
26(3)45,
26(3)51,
26(4)5,
27(1)24,
27(1)39,
27(1)53,
27(1)102,
27(1)163,
27(1)214,
27(1)218,
27(1)273,
27(3)53,
28(1)4,
28(1)93,
28(1)160,
28(1)266,
28(4)15,
29(1)15,
29(1)39,
29(1)101,
29(1)116,
29(1)340,
29(3)100,
29(3)103,
29(3)120,
29(4)45,
30(1)1,
30(1)145,
30(1)161,
30(1)242,
30(1)317,
30(1)366,
30(3)51,
30(3)162,
30(3)175,
30(3)178,
30(3)185,
30(3)209,
30(4)5,
31(1)3,
31(1)17,
31(1)53,
31(1)189,
31(1)252,
31(1)286,
31(1)296,
31(2)17,
31(3)91,
31(3)139,
31(3)155,
31(3)200,
31(4)13,
31(4)70,
31(4)101
- incorporate,
23(2)24,
24(1)168,
24(2)2,
26(1)106,
26(1)198,
27(1)355,
27(4)5,
29(1)10,
30(1)382,
30(3)134,
30(3)181,
31(1)22,
31(3)139,
31(3)155,
31(3)159
- mathematics,
22(1)17,
22(2)59,
22(4)53,
23(1)124,
23(1)130,
23(3)57,
24(1)147,
24(2)2,
25(1)73,
25(1)78,
25(1)83,
25(4)13,
25(4)33,
26(1)223,
26(2)52,
27(1)209,
27(1)350,
27(4)13,
29(1)101,
29(3)14,
30(1)68,
30(1)73,
30(1)97,
30(1)166,
30(1)252,
30(1)257,
30(1)365,
30(1)378,
30(3)130,
31(1)141,
31(3)33,
31(3)201
- philosophical,
23(2)21,
26(1)41,
28(2)56,
30(1)252,
31(1)341
- place,
22(3)7,
22(4)29,
23(2)24,
23(4)51,
24(1)235,
25(2)31,
26(1)36,
26(1)319,
26(1)364,
27(1)24,
27(1)186,
27(1)204,
28(1)37,
28(1)190,
28(4)55,
29(2)7,
29(3)51,
29(4)34,
30(1)212,
30(1)232,
30(1)365,
30(3)18,
31(1)208,
31(1)281,
31(3)56,
31(3)60,
31(3)123,
31(3)192,
31(3)206,
31(4)79
- proceeding,
0(0)0,
1(0)0,
2(0)0,
3(0)0,
26(0)xxii--414,
28(0)xxxii--441,
29(0)xxi--404,
30(0)xx--396,
30(0)0,
31(0)xix--383,
31(0)0,
31(1)346
- recent,
22(4)2,
24(2)2,
24(4)15,
25(1)78,
25(2)1,
26(1)6,
26(1)309,
26(4)5,
27(1)146,
27(1)159,
27(2)25,
27(3)39,
27(4)9,
27(4)13,
28(1)37,
28(1)130,
28(1)237,
28(1)295,
28(1)338,
29(1)82,
29(1)277,
29(1)355,
30(1)181,
30(1)341,
30(1)378,
30(3)51,
30(3)134,
30(3)171,
30(3)213,
30(4)32,
30(4)37,
31(1)345,
31(2)17,
31(3)21,
31(3)143,
31(4)31
- restructuring,
26(1)6,
27(1)204
- slowly,
30(3)5
- spite,
28(1)130
- still,
23(2)21,
23(2)60,
24(1)259,
26(1)169,
26(1)387,
26(4)17,
27(1)44,
27(1)214,
27(1)322,
28(1)37,
28(1)130,
29(1)6,
29(1)150,
29(1)384,
29(2)17,
30(1)194,
30(1)312,
30(1)370,
30(3)105,
30(3)139,
31(1)27,
31(1)346,
31(3)182,
31(4)13,
31(4)79
- Warford, J. Stanley,
31(1)271