Learn more.
Help Center
     

    Welcome to the course discussion forum. Please read our forum posting policies before posting or starting a new thread.

    Sub-forumLatest Activity
    General Discussion
    General discussion of Logic.    		Reference request on logic programming ()
    Videos
    Discussion of the videos.    		5.4 Resolution Method confusion ()
    Notes
    Discussion of the Notes    		9.2 Is the direction of the… ()
    Extras
    		Equality. The missing answer ()
    Problems
    Specific questions regarding the homework problems.    		Problem 1.4 ()
    Tools
    Discussion of Tools.    		A bug in Universal Elimination? ()
    Puzzles
    Discussion of the puzzles.    		Chessboard quasi-solution ()

    All Threads

    Reference request on logic programming
    Started by Anton Trunov · Last post by Athina Stafyla ()
    		3
    points    		9
    posts    		165
    views
    Started by Nico Sosa · Last post by Anonymous ()
    		0
    points    		18
    posts    		235
    views
     4.11
    Started by Anonymous · Last post by Anton Trunov ()
    		5
    points    		77
    posts    		1543
    views
    Started by Alexandre Cordy · Last post by Anton Trunov ()
    		0
    points    		6
    posts    		257
    views
    Started by Anonymous · Last post by Athina Stafyla ()
    		0
    points    		6
    posts    		182
    views
    Started by Dmitriy Surovyagin · Last post by Dmitriy Surovyagin ()
    		3
    points    		4
    posts    		129
    views
    Started by Athina Stafyla · Last post by Athina Stafyla ()
    		0
    points    		6
    posts    		72
    views
    Started by Purgatorio · Last post by Athina Stafyla ()
    		0
    points    		2
    posts    		56
    views
    Started by Anonymous · Last post by Nils Lavesson ()
    		21
    points    		43
    posts    		541
    views
    Started by Zhou Yuhao · Last post by Jichang Mu ()
    		0
    points    		4
    posts    		154
    views
    Staff Replied · Started by veturi sundara karthik · Last post by Athina Stafyla ()
    		0
    points    		25
    posts    		378
    views
    Staff Replied · Started by Reinier van Linschoten · Last post by Parth Bhave ()
    		0
    points    		14
    posts    		315
    views
    		0
    points    		1
    post    		18
    views
    Staff Replied · Started by Erli Zhou · Last post by Anonymous ()
    		0
    points    		24
    posts    		286
    views
    Started by Anton Trunov · Last post by Athina Stafyla ()
    		2
    points    		24
    posts    		390
    views
    Started by John Cacic · Last post by John Cacic ()
    		0
    points    		14
    posts    		116
    views
    Started by jasko · Last post by Winnie Pelser ()
    		0
    points    		10
    posts    		95
    views
    Started by Anton Trunov · Last post by John Cacic ()
    		0
    points    		31
    posts    		338
    views
    Started by Anver Dyzel · Last post by Anton Trunov ()
    		0
    points    		2
    posts    		32
    views
    Staff Replied · Started by Aaron Brackett · Last post by Mike Genesereth Instructor ()
    		0
    points    		3
    posts    		26
    views
    Staff Replied · Started by Antonio Cadinu · Last post by Mike Genesereth Instructor ()
    		2
    points    		18
    posts    		192
    views
    Staff Replied · Started by Anton Trunov · Last post by Anton Trunov ()
    		0
    points    		10
    posts    		69
    views
    Staff Replied · Started by Yuan Zong · Last post by Yuan Zong ()
    		0
    points    		3
    posts    		51
    views
    Staff Replied · Started by Tatiana Sergeeva · Last post by Frank Del Vecchio ()
    		2
    points    		3
    posts    		35
    views
    Started by Frank Del Vecchio · Last post by Antonio Cadinu ()
    		0
    points    		26
    posts    		484
    views
    See top forum posters