Temat: mathematics computing

Skocz do pozycji: 1.

Tytuł:: Development of a flexible Mizar tokenizer and parser for information retrieval system
Autorzy:: Nakasho, Kazuhisa
Data publikacji:: 2019
Słowa kluczowe:: formal languages
grammars
information retrieval
mathematics computing
program compilers
software library
języki formalne
gramatyki
wyszukiwanie informacji
obliczenia matematyczne
kompilatory programów
biblioteka oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: W sprawie umiejscowienia zastosowań matematyki w dziedzinie nauk matematycznych
Autorzy:: Koronacki, J.
Data publikacji:: 2014
Słowa kluczowe:: zastosowania matematyki
matematyka stosowana
matematyka stosowana i obliczenia naukowe
applied mathematics
applied mathematics and scientific computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: O związkach matematyki z filozofią na przykładzie projektu Archipelag Matematyki
Autorzy:: Paweł Stacewicz
Data publikacji:: 2014-11-30
Tematy:: philosophy
mathematics
virtual world of mathematics
computing
infinity; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: O związkach matematyki z filozofią na przykładzie projektu Archipelag Matematyki
Autorzy:: Stacewicz, Paweł
Data publikacji:: 2014
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:: philosophy
mathematics
virtual world of mathematics
computing
infinity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Quantum mathematics: holonomic computing algorithms and their applications. Pt. 2
Autorzy:: Prykarpatsky, A.K.
Taneri, U.
Blackmore, D.L.
Data publikacji:: 2004
Słowa kluczowe:: matematyka kwantowa
holonomiczne algorytmy komputerowe
quantum mathematics
holonomic computing algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
Autorzy:: Bellin, G.
Menti, A.
Data publikacji:: 2014
Słowa kluczowe:: calculus
intuitionistic mathematics
encoding
linear systems
mathematical proofs
distributed computing
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Autorzy:: Wang, Y.
Zhang, D.
Tsumoto, S.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
natural intelligence
cognitive computing
abstract intelligence
neural informatics
denotational mathematics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Solving Assignment Problems via Quantum Computing: a Case-Study in Train Seating Arrangement
Autorzy:: Gioda, Ilaria
Caputo, Davide
Fadda, Edoardo
Manerba, Daniele
Silva Fernández, Blanca
Tadei, Roberto
Data publikacji:: 2021
Słowa kluczowe:: combinatorial mathematics
optimisation
quantum computing
search problems
matematyka kombinatoryczna
optymalizacja
obliczenia kwantowe
problemy wyszukiwawcze; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Preface: Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Autorzy:: Wang, Y.
Zhang, D.
Tsumoto, S.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
natural intelligence
cognitive computing
abstract intelligence
artificial intelligence
neural informatics
denotational mathematics
computational intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Wykorzystanie przez studentów studiów I stopnia aplikacji do obliczeń oraz portali społecznościowych na przedmiotach matematycznych
Autorzy:: Dąbrowicz-Tlałka, Anita
Musielak, Magdalena M.
Data publikacji:: 2024
Słowa kluczowe:: aplikacje obliczeniowe
nowoczesne technologie
nauczanie matematyki
portal społecznościowy
computing applications
modern technologies
teaching of mathematics
social media; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Is the conventional interval arithmetic correct?
Autorzy:: Piegat, A.
Landowski, M.
Data publikacji:: 2012
Słowa kluczowe:: interval arithmetic
RDM-interval arithmetic
multi-dimensional interval arithmetic
interval mathematics
interval analysis
granular computing
artificial intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: ДИСТАНЦІЙНЕ НАВЧАННЯ ВИЩОЇ МАТЕМАТИКИ: ДОСВІД ДОНЕЦЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ (м. ВІННИЦЯ)
Distance learning of higher mathematics: the experience of Donetsk National University (Vinnytsya)
Autorzy:: Володимир Пузирьов
Data publikacji:: 2015-04-24
Tematy:: distance learning
cloud computing
teaching of higher mathematics requirements for the organization of teaching in the distance form; Pokaż więcej
Dostawca treści:: CEJSH