Search Results for Logic.

19 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Yazar

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

https://doi.org/10.1007/978-3-319-76168-8

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

Yazar

Chiabert, Paolo. editor.

https://doi.org/10.1007/978-3-030-01614-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Yazar

Rabe, Florian. editor.

https://doi.org/10.1007/978-3-319-96812-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Yazar

Castro, Félix. editor.

https://doi.org/10.1007/978-3-030-02840-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

Yazar

Castro, Félix. editor.

https://doi.org/10.1007/978-3-030-02837-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

Yazar

Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947

https://doi.org/10.1007/978-3-319-98572-5

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Charles Sanders Peirce Pragmatism and Education

Yazar

Plowright, David. author.

http://dx.doi.org/10.1007/978-94-017-7356-0

Format:

Electronic Resources

Alıntı:

Logic and Inquiry -- 5 Semiotics: The Theory of Signs -- 6 Semiotics Continued -- 7 The Categories -- 8

Research on Teaching and Learning Probability

Yazar

Batanero, Carmen. author.

http://dx.doi.org/10.1007/978-3-319-31625-3

Format:

Electronic Resources

Alıntı:

contrast to classical logic, probability language features, the role of intuitions, as well as paradoxes

Identity and Personhood Confusions and Clarifications across Disciplines

Yazar

Splitter, Laurance J. author.

http://dx.doi.org/10.1007/978-981-287-481-8

Format:

Electronic Resources

Alıntı:

Preface -- Chapter 1 Introduction -- Chapter 2 The formal home of identity: mathematics and logic

10.

John Dewey Liberty and the Pedagogy of Disposition

Yazar

Baldacchino, John. author.

http://dx.doi.org/10.1007/978-94-007-7847-4

Format:

Electronic Resources

Alıntı:

(logic), live as a community (politics) and how we learn (education). In addition, the book also takes

11.

Set Phasers to Teach! Star Trek in Research and Teaching

Yazar

Rabitsch, Stefan. editor.

https://doi.org/10.1007/978-3-319-73776-8

Format:

Electronic Resources

Alıntı:

-- "Logic is the beginning of wisdom, not the end": Using Star Trek to Teach Scientific Thinking -- Complete

12.

Computers Supported Education 8th International Conference, CSEDU 2016, Rome, Italy, April 21-23, 2016, Revised Selected Papers

Yazar

Costagliola, Gennaro. editor.

https://doi.org/10.1007/978-3-319-63184-4

Format:

Electronic Resources

Alıntı:

Produce ICT Ready Graduates -- Interval Type-2 Fuzzy Logic Systems for Evaluating Students' Academic

	{displayName}	{count}
{error}