Jump to content

Moore method: Revision history


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

25 September 2025

18 September 2025

4 February 2024

3 February 2024

2 July 2023

22 January 2022

15 October 2021

25 February 2021

24 February 2021

23 February 2021

22 February 2021

27 January 2021

14 January 2021

10 December 2020

9 December 2020

11 November 2018

10 October 2018

2 September 2018

29 May 2018

24 June 2017

3 December 2016

4 May 2016

1 November 2015

19 September 2015

5 February 2015

4 February 2015

3 February 2015

  • curprev 07:2907:29, 3 February 2015 Mannykant talk contribs 9,117 bytes +76 Professor Valdimir Lifschitz in the Computer Science Department teaches a graduate course in propositional logic and predicate calculus using the Moore method. http://www.cs.utexas.edu/~vl/teaching/ undo

17 January 2015

18 July 2014

2 July 2014

5 June 2014

10 April 2014

25 February 2014

26 January 2014

1 October 2013

23 April 2013

13 April 2013

11 April 2013

23 March 2013

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)